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 3119-3120
(roomTempState Cream Liquid)	Food.kif 3118-3118	room temperature state cream and liquid
(subclass Cream DairyArtifact)	Food.kif 3117-3117	Cream is a subclass of dairy product

appearance as argument number 2

(termFormat EnglishLanguage Cream "cream")

domainEnglishFormat.kif 64738-64738

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 3131-3143	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 3122-3129	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 3122-3129