Cream
|
|
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 64717-64717 |
antecedent |
consequent |
(=> (instance ?C Cream) (exists (?CH ?M) (and (instance ?CH Separating) (patient ?CH ?M) (instance ?M Milk) (result ?CH Cream)))) |
Food.kif 3115-3122 |
|