TreeView Knowledge Base Browser - RemoteControl

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - RemoteControl

RemoteControl

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1117-1118
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1116-1116	子類 RemoteControl and 調節器

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3753-3753	子類 RemoteIgnitionControl and RemoteControl
No TPTP formula. May not be expressible in strict first order.	Communications.kif 413-413	子類 TVRemoteControl and RemoteControl
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1119-1119

antecedent

No TPTP formula. May not be expressible in strict first order.

engineering.kif 1121-1131

例 Physical and RemoteControl
有目的 Physical and entity entity 例 entity and 電子信號 agent entity and Physical 目的地 entity and entity 例 entity and Device 部分 Physical and entity

consequent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 3775-3800

例 Collection and RemoteKeylessSystem
Object Physical, SymbolicString and SymbolicString 例 Object and 鍵例 Object and RemoteControl 會員 Object and Collection 例 Physical and 鎖會員 Physical and Collection 能力卡帕 SymbolicString and 例 SymbolicString and 關閉患者 SymbolicString and Physical 持有期間眼前的未來 SymbolicString and attribute Physical and 鎖定, 儀器 and Object 能力卡帕 SymbolicString and 例 SymbolicString and 關閉患者 SymbolicString and Physical 持有期間眼前的未來 SymbolicString and attribute Physical and 鎖定, 儀器 and Object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners