Penne - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Penne

Penne(penne)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 2761-2762
No TPTP formula. May not be expressible in strict first order.	Food.kif 2760-2760	Penne is a subclass of pasta

appearance as argument number 2

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

domainEnglishFormat.kif 65300-65300

antecedent

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

Food.kif 2763-2776

If an object is an instance of penne and there doesn't exist another object such that the other object is an instance of penne and the other object is a part of the object,
then there exists a third object such that the third object is an instance of hole and the object is a part of the third object and fillable is an attribute of the 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