Cream - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 3112-3113
No TPTP formula. May not be expressible in strict first order.	Food.kif 3111-3111	roomTempState cream and liquid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3110-3110	Cream is a subclass of dairy product

appearance as argument number 2

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

domainEnglishFormat.kif 64715-64715

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3124-3136	If an object is an instance of cream and the object is a part of another object and the other object is an instance of butter fat and the measure of the other object is a real number gram(s) and a third object is an instance of milk and the third object is a part of a fourth object and the fourth object is an instance of butter fat and the measure of the fourth object is another real number gram(s), then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 3115-3122	If an entity is an instance of cream, then there exist the entityH and another entity such that the entityH is an instance of separating and the other entity is a patient of the entityH and the other entity is an instance of milk and cream is a result of the entityH

consequent

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

Food.kif 3115-3122