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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Legume

 Sigma KEE - Legume
Legume

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4337-4339
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1441-1441
No TPTP formula. May not be expressible in strict first order. Economy.kif 4336-4336 Legume e' uma sub-classe de Fruta ou Vegetal

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4831-4831 Alfalfa e' uma sub-classe de Legume
No TPTP formula. May not be expressible in strict first order. Economy.kif 4340-4340 Bean e' uma sub-classe de Legume
No TPTP formula. May not be expressible in strict first order. Economy.kif 4845-4845 Clover e' uma sub-classe de Legume
No TPTP formula. May not be expressible in strict first order. Economy.kif 4348-4348 CowPea e' uma sub-classe de Legume
No TPTP formula. May not be expressible in strict first order. Economy.kif 4347-4347 Pea e' uma sub-classe de Legume
No TPTP formula. May not be expressible in strict first order. Economy.kif 4349-4349 Pulse e' uma sub-classe de Legume
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33929-33929
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33928-33928
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33927-33927


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