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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Quadrilateral

Sigma KEE - Quadrilateral
Quadrilateral(quadrilateral)
parallelogram, quadrangle, quadrilateral, tetragon, trapezium, trapezoid

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4914-4914
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1222-1222
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4913-4913 Quadrilateral is a subclass of polygon

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4923-4923 Rectangle is a subclass of quadrilateral
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48284-48284
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48283-48283
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48282-48282

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4078-4095
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4916-4921

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4071-4076


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