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 9281-9283 | |
(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 9280-9280 | Milk is a subclass of beverage |
(subclass Milk LiquidBodySubstance) | Mid-level-ontology.kif 9279-9279 | 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 37777-37777 | |
(termFormat ChineseTraditionalLanguage Milk "牛奶") | domainEnglishFormat.kif 37776-37776 | |
(termFormat EnglishLanguage Milk "milk") | domainEnglishFormat.kif 37775-37775 |
antecedent |
![]() |
(=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK)))) |
Mid-level-ontology.kif 9285-9292 |
|
consequent |
![]() |
(=> (instance ?B Butter) (exists (?C ?M) (and (instance ?C Cooking) (resource ?C ?M) (instance ?M Milk) (result ?C ?B)))) |
Mid-level-ontology.kif 19388-19395 |
|
(=> (instance ?C Cappuccino) (material Milk ?C)) |
Food.kif 501-503 |
|
![]() |
![]() |