| CowMilk(cow milk) | | cows'_milk |
| appearance as argument number 1 |
|
|
| (documentation CowMilk EnglishLanguage "CowMilk is the Milk of Cows.") | Food.kif 2849-2849 | |
| (subclass CowMilk Milk) | Food.kif 2848-2848 | Cow milk is a subclass of milk |
| appearance as argument number 2 |
|
|
| (subclass ProcessedMilk CowMilk) | Food.kif 2835-2835 | Processed milk is a subclass of cow milk |
| (termFormat EnglishLanguage CowMilk "cow milk") | Food.kif 2850-2850 | Processed milk is a subclass of cow milk |
| consequent |
|
|
| (=> (instance ?PM ProcessedMilk) (exists (?P ?M) (and (instance ?P IntentionalProcess) (instance ?M CowMilk) (patient ?P ?M) (result ?P ?PM)))) |
Food.kif 2839-2846 |
|
|
|
|