Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TwoDimensionalAngle
TwoDimensionalAngle(two dimensional angle)
angle, complementary_angles, corner, dogleg

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3978-3979
No TPTP formula. May not be expressible in strict first order. Merge.kif 17544-17545
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2418-2418
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2048-2048
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4593-4593 Two dimensional angle is exhaustively partitioned into right angle, oblique angle, and acute angle
No TPTP formula. May not be expressible in strict first order. Merge.kif 17543-17543 Two dimensional angle is a subclass of open two dimensional figure

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4590-4590 Acute angle is a subclass of two dimensional angle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4571-4571 Oblique angle is a subclass of two dimensional angle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4582-4582 Right angle is a subclass of two dimensional angle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59663-59663
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59662-59662
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59661-59661

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17572-17572 The number 1 argument of angle of figure is an instance of two dimensional angle
No TPTP formula. May not be expressible in strict first order. Merge.kif 17605-17605 The number 1 argument of angular measure is an instance of two dimensional angle


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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