TreeView Knowledge Base Browser - RotationalAttribute

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

RotationalAttribute

Sigma KEE - RotationalAttribute

RotationalAttribute

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4953-4953
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4952-4952	子類 RotationalAttribute and PositionalAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4958-4958	例 Clockwise and RotationalAttribute
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4963-4963	例 CounterClockwise and RotationalAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65422-65422

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4935-4950	例 Entity and Ratchet 例 Entity and 附著裝置例 EntityO1 and 旋轉 attribute EntityO1 and Attribute 例 EntityO2 and 旋轉 attribute EntityO2 and Attribute 例 Attribute and RotationalAttribute 例 Attribute and RotationalAttribute 等於 EntityO1 and EntityO2 原因 EntityO1 and EntityO2 患者 EntityO1 and Ratchet 患者 EntityO2 and Entity 等於 Attribute and Attribute
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4954-4956	方式 Process and RotationalAttribute 例 Process 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