TreeView Knowledge Base Browser - ButterFat

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ButterFat

ButterFat

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 2932-2932
No TPTP formula. May not be expressible in strict first order.	Food.kif 2931-2931	roomTempState ButterFat and Solid
No TPTP formula. May not be expressible in strict first order.	Food.kif 2930-2930	ButterFat e' uma sub-classe de Oil

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2934-2934	ButterFat se chama nome "milk fat"
No TPTP formula. May not be expressible in strict first order.	Food.kif 2933-2933

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3124-3136	Objeto e' uma instancia de Cream Objeto e' uma &parte de Objeto Objeto e' uma instancia de ButterFat a medida de Objeto e' Numero Real Gram(s) Objeto e' uma instancia de Milk Objeto e' uma &parte de Objeto Objeto e' uma instancia de ButterFat a medida de Objeto e' Numero Real Gram(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 2936-2938	Objeto e' uma sub-classe de ButterFat initialPart Objeto and Milk

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 2969-2986	Objeto e' uma instancia de OnePercentMilk a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfVolume Objeto Numero Real2 Objeto e' uma instancia de ButterFat Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de ButterFat Objeto e' igual a Objeto Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real2 Unidade de Medida(s) Numero Real2 e' igual a 0.01 + Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 2993-3011	Objeto e' uma instancia de SemiSkimmedMilk a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfVolume Objeto Numero Real2 Objeto e' uma instancia de ButterFat Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de ButterFat Objeto e' igual a Objeto Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real2 Unidade de Medida(s) Numero Real2 e' maior ou igual a 0.015 + Numero Real Numero Real2 e' menor ou igual a 0.02 + Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 3018-3036	Objeto e' uma instancia de SkimmedMilk a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfVolume Objeto Numero Real2 Objeto e' uma instancia de ButterFat Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de ButterFat Objeto e' igual a Objeto Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real2 Unidade de Medida(s) Numero Real2 e' maior ou igual a 0.0 + Numero Real Numero Real2 e' menor ou igual a 0.005 + Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 2945-2962	Objeto e' uma instancia de TwoPercentMilk a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfVolume Objeto Numero Real2 Objeto e' uma instancia de ButterFat Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de ButterFat Objeto e' igual a Objeto Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real2 Unidade de Medida(s) Numero Real2 e' igual a 0.02 + Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 2851-2869	Objeto e' uma instancia de WholeMilk a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfVolume Objeto Numero Real2 Objeto e' uma instancia de ButterFat Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de ButterFat Objeto e' igual a Objeto Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real2 Unidade de Medida(s) Numero Real2 e' maior ou igual a 0.0325 + Numero Real Numero Real2 e' menor ou igual a 0.05 + Numero Real

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