| CowMilk(sheep milk) | | cows'_milk |
| appearance as argument number 1 |
|
|
| (documentation CowMilk EnglishLanguage "CowMilk is the Milk of Cows.") | Food.kif 2842-2842 | |
| (subclass CowMilk Milk) | Food.kif 2841-2841 | Sheep milk is a subclass of milk |
| appearance as argument number 2 |
|
|
| (subclass ProcessedMilk CowMilk) | Food.kif 2828-2828 | Processed milk is a subclass of sheep milk |
| (termFormat EnglishLanguage CowMilk "cow milk") | Food.kif 2843-2843 | Processed milk is a subclass of sheep milk |
| (termFormat EnglishLanguage CowMilk "sheep milk") | Food.kif 3050-3050 | Processed milk is a subclass of sheep milk |
| consequent |
|
|
| (=> (instance ?PM ProcessedMilk) (exists (?P ?M) (and (instance ?P IntentionalProcess) (instance ?M CowMilk) (patient ?P ?M) (result ?P ?PM)))) |
Food.kif 2832-2839 |
|
|
|
|