TreeView Knowledge Base Browser - FleshOrPulp

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FleshOrPulp

FleshOrPulp(flesh or pulp)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 2312-2313
No TPTP formula. May not be expressible in strict first order.	Food.kif 2311-2311	Every flesh or pulp is initially part of a fruit or vegetable
No TPTP formula. May not be expressible in strict first order.	Food.kif 2310-2310	Flesh or pulp is a subclass of plant substance

appearance as argument number 2

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

Food.kif 2314-2314

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

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