TreeView Knowledge Base Browser - Suet

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Suet

Sigma KEE - Suet

Suet

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 2903-2903
No TPTP formula. May not be expressible in strict first order.	Food.kif 2902-2902	roomTempState Suet and Solid
No TPTP formula. May not be expressible in strict first order.	Food.kif 2901-2901	Suet e' uma sub-classe de AnimalFat

appearance as argument number 2

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

Food.kif 2904-2904

antecedent

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

Food.kif 2906-2914

Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de Suet Objeto e' uma sub-classe de Tecido Gorduroso
initialPart Objeto and Cattle initialPart Objeto and Sheep

consequent

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

Food.kif 2921-2928

Entidade e' uma instancia de Tallow
Processo Entidade Processo e' uma instancia de Aquecer Entidade e' um patient de Processo Entidade e' uma instancia de Suet Entidade e' o resultado de Processo

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