TreeView Knowledge Base Browser - direction

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - direction

direction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3789-3790
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17012-17015
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17009-17009	域方向, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17010-17010	域方向, 2 and PositionalAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17008-17008	例方向 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17011-17011	子關係方向 and 參與活動

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 588-588
No TPTP formula. May not be expressible in strict first order.	english_format.kif 592-592
No TPTP formula. May not be expressible in strict first order.	french_format.kif 352-352
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 74-74
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2099-2099
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 304-304
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 108-108
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 769-769
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 115-115
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 374-374
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 390-390
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 164-164
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 589-589
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19685-19685
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19684-19684
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 165-165

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1634-1655	例 Process and 龍捲風例 Process and 旋轉例 Object and 空氣例 ProcessRAN and 易位子過程 Process and Process 子過程 ProcessRAN and Process 患者 ProcessRAN and Object 方向 ProcessRAN and 橫 Object SelfConnectedObject, ProcessOP, SelfConnectedObject, SelfConnectedObject and SelfConnectedObject 例 Object and GeographicArea Process 是 located 在 Object 部分 SelfConnectedObject and Object attribute SelfConnectedObject and ConeSegment 上 ProcessOP and SelfConnectedObject 底部 SelfConnectedObject and SelfConnectedObject 例 SelfConnectedObject and 雲底部 SelfConnectedObject and SelfConnectedObject 空間的符合 ProcessOP and SelfConnectedObject 空間的符合 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17017-17022	持有期間 TimePosition and 方向 entity and entity entity 持有期間 TimePosition and 方向 entity and entity 等於 entity and entity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18177-18211	例 Object and 鋸例 Process and Cutting 儀器 Process and Object 例 Object and Object 患者 Process and Object Process Entity, Entity, TimeInterval, TimePosition, TimePosition and Object 例 Process and Motion 子過程 Process and Process 例 Object and 切割裝置部分 Object and Object 空間的符合 Object and Object 患者 Process and Object 例 TimePosition and TimeInterval 例 TimePosition and TimeInterval 等於何時 Process and TimeInterval 時間部分 TimeInterval and TimePosition 時間部分 TimeInterval and TimePosition 例 Entity and DirectionalAttribute 例 Entity and DirectionalAttribute 持有期間 TimePosition and 方向 Process and Entity 持有期間 TimePosition and 方向 Process and Entity 等於 Entity and Entity Entity 是 Entity 的 opposite 方向 ~{ 等於 Entity and Entity } ~{ Entity 是 Entity 的 opposite 方向 }
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17017-17022	持有期間 TimePosition and 方向 entity and entity entity 持有期間 TimePosition and 方向 entity and entity 等於 entity and entity

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