TreeView Knowledge Base Browser - RightAngle

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RightAngle

RightAngle(right angle)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4925-4925	Right angle is the angle found in rectangle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4856-4857
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1958-1958
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2255-2255	Right angle is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4855-4855	Right angle is an instance of two dimensional angle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50012-50012
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50011-50011
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50010-50010

antecedent

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

Mid-level-ontology.kif 4859-4861

If a real number is an angular measure of right angle,
then the real number is equal to 90.0

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4901-4909	If a geometric figure is an instance of polygon and the geometric figure is equal to right triangle, then there exists a two dimensional angle such that the two dimensional angle is an instance of two dimensional angle and the two dimensional angle is the angle found in the geometric figure and the two dimensional angle is equal to right angle
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2263-2271	If an object is an instance of differential, then there exist another object and a third object such that the other object is an instance of gear and the third object is an instance of gear and the other object is a part of the object and the third object is a part of the object and the other object is right angle to the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4626-4640	If a physical is an instance of weaving, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of substance and pliable is an attribute of the entity and the entity is a patient of the physical and the other entity is a part of the entity and the third entity is a part of the entity and the other entity is not equal to the third entity and the other entity is right angle to the third entity and the fourth entity is a result of the physical and the fourth entity is an instance of artifact

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