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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Quadrilateral

 Sigma KEE - Quadrilateral
Quadrilateral(四边形)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4912-4912
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 4911-4911 四边形 是 多边形 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4921-4921 长方形 是 四边形 的 instance
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 4914-4919

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