LemonFruit - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LemonFruit

LemonFruit(lemon fruit)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 2329-2330
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 553-553
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 863-863
No TPTP formula. May not be expressible in strict first order.	Food.kif 2328-2328	Lemon fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2327-2327	Lemon fruit is a subclass of citrus fruit

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33941-33941
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33940-33940
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33939-33939

antecedent

No TPTP formula. May not be expressible in strict first order.

Food.kif 2332-2337

If an object is an instance of lemon fruit and another object is a part of the object and the other object is an instance of peel or rind,
then yellow is an attribute of the other object

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