Knowledge Systems Laboratory, Stanford
University
22
Domain
Conceptualization
uObjects
8Circuits 8 Terminals
8Signals 8 Gates
8Gate types 8 Signal values
uRelations
8Connected:
(<terminal> <terminal>)
8Terminal:
(<terminal>)
…
uFunctions
8Type:
<gate> ® <gate type>
8In:
(<index> <gate>) ® <input terminal>
8Out:
(<index> <gate>) ® <output terminal>
8Signal:
<terminal> ® <signal value>