Mutton - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Mutton

Mutton(mutton)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4958-4959
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4784-4784
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4960-4960	Mutton is the meat of sheep
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4957-4957	Mutton is a subclass of meat

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39471-39471
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39470-39470
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39469-39469

antecedent

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

Economy.kif 4962-4968

If an object is an instance of mutton and the object is a part of another object and the other object is an instance of sheep and the age of the other object is a real number month duration(s),
then the real number is greater than or equal to 12

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