TreeView Knowledge Base Browser - ConeSegment

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ConeSegment

ConeSegment

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1428-1429
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1426-1426	例 ConeSegment and ShapeAttribute

appearance as argument number 2

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

Cars.kif 1427-1427

consequent

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.	Cars.kif 1422-1424	例 Object and BevelGear attribute Object and ConeSegment

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