Cream - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Cream EnglishLanguage "Cream is composed of the higher-fat layer skimmed from the top of Milk.[Wikipedia]")	Food.kif 3112-3113
(roomTempState Cream Liquid)	Food.kif 3111-3111	roomTempState cream and liquid
(subclass Cream DairyArtifact)	Food.kif 3110-3110	Cream is a subclass of dairy product

appearance as argument number 2

(termFormat EnglishLanguage Cream "cream")

domainEnglishFormat.kif 64763-64763

antecedent

(=> (and (instance ?C Cream) (part ?C ?O1) (instance ?O1 ButterFat) (measure ?O1 (MeasureFn ?X Gram)) (instance ?M Milk) (part ?M ?O2) (instance ?O2 ButterFat) (measure ?O2 (MeasureFn ?Y Gram))) (greaterThan ?X ?Y))	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
(=> (instance ?C Cream) (exists (?CH ?M) (and (instance ?CH Separating) (patient ?CH ?M) (instance ?M Milk) (result ?CH Cream))))	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

(=>
    (instance ?C Cream)
    (exists (?CH ?M)
        (and
            (instance ?CH Separating)
            (patient ?CH ?M)
            (instance ?M Milk)
            (result ?CH Cream))))

Food.kif 3115-3122