| 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 9300-9302 | |
| (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 9299-9299 | Milk is a subclass of beverage |
| (subclass Milk LiquidBodySubstance) | Mid-level-ontology.kif 9298-9298 | 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 37681-37681 | |
| (termFormat ChineseTraditionalLanguage Milk "牛奶") | domainEnglishFormat.kif 37680-37680 | |
| (termFormat EnglishLanguage Milk "milk") | domainEnglishFormat.kif 37679-37679 |
| antecedent |
|
|
| (=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK)))) |
Mid-level-ontology.kif 9304-9311 |
|
| consequent |
|
|
| (=> (instance ?B Butter) (exists (?C ?M) (and (instance ?C Cooking) (resource ?C ?M) (instance ?M Milk) (result ?C ?B)))) |
Mid-level-ontology.kif 19357-19364 |
|
| (=> (instance ?C Cappuccino) (material Milk ?C)) |
Food.kif 501-503 |
|
|
|
|