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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Triangle

Sigma KEE - Triangle
Triangle

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4891-4891
No TPTP formula. May not be expressible in strict first order. pictureList.kif 795-795
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4890-4890 Triangle est une instance de Polygon

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4898-4898 RightTriangle est un sous-attribut de Triangle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59174-59174
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59173-59173
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59172-59172

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4893-4896 Le nombre d' instances dans la classe d�crite par cha�ne sympbolique est &%�gal � 3


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