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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Starving

 Sigma KEE - Starving
Starving

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18518-18518
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7989-7989
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6895-6895
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7990-7990
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18517-18517 Starving est une sous-classe de tuer

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55106-55106
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55105-55105
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55104-55104


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