TreeView Knowledge Base Browser - RightTriangle

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RightTriangle

RightTriangle(right triangle)

right-angled_triangle, right_triangle

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4894-4894
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 966-966
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4893-4893	Right triangle is a subattribute of triangle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50020-50020
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50019-50019
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50018-50018

antecedent

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

Mid-level-ontology.kif 4896-4904

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

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