ButterFat - Sigma Knowledge base Browser

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 固体
No TPTP formula. May not be expressible in strict first order.	Food.kif 2930-2930	ButterFat 是油的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2934-2934	ButterFat 的名是 "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	如果客体是 Cream 的 instance 和那个客体是另一个客体的 part 和那个另外客体是 ButterFat 的 instance 和那个另外客体的 measure 是实数公克和第三客体是乳的 instance 和那个第三客体是第四客体的 part 和那个第四客体是 ButterFat 的 instance 和那个第四客体的 measure 是另一个实数公克，然后那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 2936-2938	如果有点客体是 ButterFat 的 subclass，然后 %每个有点客体是乳的 initially part

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 2969-2986	如果客体是 OnePercentMilk 的 instance 和那个客体的 measure 是实数测量单位和那个测量单位是 UnitOfVolume 的 instance，然后有存在另一个客体和那个实数2 这样那个另外客体是 ButterFat 的 instance 和那个另外客体是那个客体的 part 和不存在第三客体这样那个第三客体是 ButterFat 的 instance 和那个另外客体不 equal 那个第三客体和那个第三客体是那个客体的 part 和那个另外客体的 measure 是那个实数2 那个测量单位和那个实数2 equal 0.01 和那个实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 2993-3011	如果客体是 SemiSkimmedMilk 的 instance 和那个客体的 measure 是实数测量单位和那个测量单位是 UnitOfVolume 的 instance，然后有存在另一个客体和那个实数2 这样那个另外客体是 ButterFat 的 instance 和那个另外客体是那个客体的 part 和不存在第三客体这样那个第三客体是 ButterFat 的 instance 和那个另外客体不 equal 那个第三客体和那个第三客体是那个客体的 part 和那个另外客体的 measure 是那个实数2 那个测量单位和那个实数2 是 greaterThanOrEqualTo 0.015 和那个实数和那个实数2 是 lessThanOrEqualTo 0.02 和那个实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 3018-3036	如果客体是 SkimmedMilk 的 instance 和那个客体的 measure 是实数测量单位和那个测量单位是 UnitOfVolume 的 instance，然后有存在另一个客体和那个实数2 这样那个另外客体是 ButterFat 的 instance 和那个另外客体是那个客体的 part 和不存在第三客体这样那个第三客体是 ButterFat 的 instance 和那个另外客体不 equal 那个第三客体和那个第三客体是那个客体的 part 和那个另外客体的 measure 是那个实数2 那个测量单位和那个实数2 是 greaterThanOrEqualTo 0.0 和那个实数和那个实数2 是 lessThanOrEqualTo 0.005 和那个实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 2945-2962	如果客体是 TwoPercentMilk 的 instance 和那个客体的 measure 是实数测量单位和那个测量单位是 UnitOfVolume 的 instance，然后有存在另一个客体和那个实数2 这样那个另外客体是 ButterFat 的 instance 和那个另外客体是那个客体的 part 和不存在第三客体这样那个第三客体是 ButterFat 的 instance 和那个另外客体不 equal 那个第三客体和那个第三客体是那个客体的 part 和那个另外客体的 measure 是那个实数2 那个测量单位和那个实数2 equal 0.02 和那个实数
No TPTP formula. May not be expressible in strict first order.	Food.kif 2851-2869	如果客体是 WholeMilk 的 instance 和那个客体的 measure 是实数测量单位和那个测量单位是 UnitOfVolume 的 instance，然后有存在另一个客体和那个实数2 这样那个另外客体是 ButterFat 的 instance 和那个另外客体是那个客体的 part 和不存在第三客体这样那个第三客体是 ButterFat 的 instance 和那个另外客体不 equal 那个第三客体和那个第三客体是那个客体的 part 和那个另外客体的 measure 是那个实数2 那个测量单位和那个实数2 是 greaterThanOrEqualTo 0.0325 和那个实数和那个实数2 是 lessThanOrEqualTo 0.05 和那个实数

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