TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Cream DairyArtifact)	Food.kif 3139-3139	Cream is a subclass of dairy product
(roomTempState Cream Liquid)	Food.kif 3140-3140	room temperature state cream and liquid
(documentation Cream EnglishLanguage "Cream is composed of the higher_fat layer skimmed from the top of Milk.[Wikipedia]")	Food.kif 3141-3142	room temperature state cream and liquid
(documentation Cream EnglishLanguage "Cream is a dairy product that is composed of the higher butterfat layer skimmed from the top of Milk before homogenization.")	Society.kif 1312-1312	room temperature state cream and liquid

appearance as argument number 2

(termFormat EnglishLanguage Cream "cream")

antecedent

(=> (instance ?C Cream) (exists (?CH ?M) (and (instance ?CH Separating) (patient ?CH ?M) (instance ?M Milk) (result ?CH Cream))))	Food.kif 3145-3152	If X is an instance of cream, then there exist Y, Z such that Y is an instance of separating, Z is a patient of Y, Z is an instance of milk, and cream is a result of Y
(=> (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 3154-3166	If All of the following hold: (1) X is an instance of cream (2) X is a part of Y (3) Y is an instance of butter fat (4) the measure of Y is Z gram(s) (5) W is an instance of milk (6) W is a part of V (7) V is an instance of butter fat (8) the measure of V is U gram(s), then Z is greater than U

consequent

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

If X is an instance of cream, then there exist Y, Z such that Y is an instance of separating, Z is a patient of Y, Z is an instance of milk, and cream is a result of Y