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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Order
Order

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14311-14312
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11582-11582
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11581-11581
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10175-10175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14310-14310 Order est une sous-classe de phrase

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42452-42452
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42451-42451
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42450-42450

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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