PeelOrRind - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PeelOrRind

PeelOrRind(peel or rind)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 2298-2299
No TPTP formula. May not be expressible in strict first order.	Food.kif 2297-2297	Every peel or rind is initially part of a fruit or vegetable
No TPTP formula. May not be expressible in strict first order.	Food.kif 2296-2296	Peel or rind is a subclass of plant substance

appearance as argument number 2

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

Food.kif 2300-2300

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 2316-2323	If an object is an instance of fruit or vegetable and another object is a part of the object and the other object is an instance of flesh or pulp and a third object is a part of the object and the third object is an instance of peel or rind, then the other object is inside to the third object
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
No TPTP formula. May not be expressible in strict first order.	Food.kif 2355-2360	If an object is an instance of lime and another object is a part of the object and the other object is an instance of peel or rind, then green is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Food.kif 2346-2351	If an object is an instance of orange fruit and another object is a part of the object and the other object is an instance of peel or rind, then orange color is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Food.kif 2302-2308	If a self connected object is an instance of peel or rind, then there exists another self connected object such that the self connected object is a part of the other self connected object and the other self connected object is an instance of fruit or vegetable and the self connected object is a surface of the other self connected 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