Legume - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Legume

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 is a subclass of fruit or vegetable

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4831-4831	Alfalfa is a subclass of legume
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4340-4340	Bean is a subclass of legume
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4845-4845	Clover is a subclass of legume
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4348-4348	Cow pea is a subclass of legume
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4347-4347	Pea is a subclass of legume
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4349-4349	Pulse is a subclass of 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 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