| appearance as argument number 1 |
|
|
| (documentation Milk EnglishLanguage "A nutritious BodySubstance produced by Mammals that has evolved to provide nourishment for their offspring during their initial period of life.") | Mid-level-ontology.kif 9279-9281 | |
| (externalImage Milk "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0e/ Milk_glass.jpg/ 200px-Milk_glass.jpg") | pictureList.kif 1187-1187 | |
| (subclass Milk Beverage) | Mid-level-ontology.kif 9278-9278 | Milk is a subclass of beverage |
| (subclass Milk LiquidBodySubstance) | Mid-level-ontology.kif 9277-9277 | Milk is a subclass of liquid body substance |
| appearance as argument number 2 |
|
|
| (subclass Cream Milk) | Food.kif 536-536 | Cream is a subclass of milk |
| (termFormat ChineseLanguage Milk "牛奶") | domainEnglishFormat.kif 37702-37702 | |
| (termFormat ChineseTraditionalLanguage Milk "牛奶") | domainEnglishFormat.kif 37701-37701 | |
| (termFormat EnglishLanguage Milk "milk") | domainEnglishFormat.kif 37700-37700 |
| antecedent |
|
|
| (=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK)))) |
Mid-level-ontology.kif 9283-9290 |
|
| consequent |
|
|
| (=> (instance ?B Butter) (exists (?C ?M) (and (instance ?C Cooking) (resource ?C ?M) (instance ?M Milk) (result ?C ?B)))) |
Mid-level-ontology.kif 19382-19389 |
|
| (=> (instance ?C Cappuccino) (material Milk ?C)) |
Food.kif 501-503 |
|
|
|
|