TreeView Knowledge Base Browser - Door

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Door

Sigma KEE - Door

Door(門)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15286-15290
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 80-80
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29431-29431	相關的內部概念門 and VehicleDoor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15283-15283	子類門 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15282-15282	子類門 and 過境障礙

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20190-20190
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20189-20189
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20188-20188

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25854-25871	例 Physical and KnockLight 位於 Physical and Object 例 Object and Room 例 Object and 門部分 Object and Object 有目的 Physical and entity entity and entity 例 entity and Impacting 患者 entity and Object 原因 entity and entity 例 entity and RadiatingSound agent entity and Object 原因 entity and entity 例 entity and 輻射可見光儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15326-15333	例 Object and 門 Object 部分 Object and Object 例 Object and Building 例 Object and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15292-15297	例 Object and 門 Object 部分 Object and Object 例 Object and 門口

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25873-25885	例 Object and KnockLight 例 AutonomousAgent and Human attribute AutonomousAgent and 聾使用 Object and AutonomousAgent 有目的 Object and entity entity 例 entity and Impacting 患者 entity and entity 例 entity and 門知道 AutonomousAgent and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15264-15275	attribute Object and AdjoiningRoom Object Object and Object attribute Object and AdjoiningRoom 等於 Object and Object 方位 Object, Object and 鄰例 Object and 壁部分 Object and Object 部分 Object and Object 例 Object and 門部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2428-2438	attribute Object and Doorman 有目的 Object and entity entity 例 entity and 門 agent entity and Object 患者 entity and entity 例 entity and 開盤例 entity and 關閉

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