TreeView Knowledge Base Browser - Outdoors

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Outdoors

Outdoors(在戶外)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9129-9130
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1312-1312
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9128-9128	子類在戶外 and Region

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9141-9141	不相交的在室內 and 在戶外
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43674-43674
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43673-43673
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43672-43672

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 986-996	例 AutonomousAgent and MarchingBand 例 Process and 音樂表演 agent Process and AutonomousAgent 例 Object and 在戶外 Process 是 located 在 Object Process 例 Process and 走動子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9132-9138	例 Object and 在戶外 Object 例 Object and Building 方位 Object, Object and 內

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1072-1080	attribute Object and DownAndOutRoom Object Object 例 Object and 在戶外例 Object and Region 方位 Object, Object and 鄰方位 Object, Object and 外位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Dining.kif 159-164	例 Physical and OutdoorDiningArea Object 例 Object and 在戶外位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26627-26636	例 Object and Patio 模態屬性 attribute Object and 鋪砌 and 容易 Object 例 Object and Building 方位 Object, Object and 鄰位於 Object and 在戶外
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2519-2534	患者 Process and 酸雨模態屬性 entity entity, entity and entity 例 entity and Damaging 原因 Process and entity 儀器 entity and Process 例 entity and Organism 例 entity and StationaryArtifact 例 entity and 在戶外位於 entity and entity 位於 entity and entity 患者 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