TreeView Knowledge Base Browser - Rectangle

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Rectangle

Rectangle(rectangle)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4924-4925
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 965-965
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4923-4923	Rectangle is a subclass of quadrilateral

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4934-4934	Square is a subclass of rectangle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49022-49022
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49021-49021
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49020-49020

antecedent

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

Mid-level-ontology.kif 4927-4932

If a geometric figure is an instance of rectangle,
then there exists a two dimensional angle such that the two dimensional angle is the angle found in the geometric figure and the two dimensional angle is an instance of right angle

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3996-3998	If a physical is an instance of chest container, then the physical is rectangle
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 160-162	If a physical is an instance of computer screen, then the physical is rectangle

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