TreeView Knowledge Base Browser - AnimalFat

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AnimalFat

AnimalFat(animal fat)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 2873-2873
No TPTP formula. May not be expressible in strict first order.	Food.kif 2872-2872	roomTempState animal fat and solid
No TPTP formula. May not be expressible in strict first order.	Food.kif 2871-2871	Animal fat is a subclass of oil

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2884-2884	Lard is a subclass of animal fat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2901-2901	Suet is a subclass of animal fat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2916-2916	Tallow is a subclass of animal fat
No TPTP formula. May not be expressible in strict first order.	Food.kif 2874-2874

antecedent

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

Food.kif 2876-2882

If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of animal fat and another kind of object is a subclass of fat tissue,
then every the other kind of object is initially part of a animal

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