| CowMilk | |
| 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 |
| appearance as argument number 2 |
|
|
| (subclass ProcessedMilk CowMilk) | Food.kif 2828-2828 | |
| (termFormat EnglishLanguage CowMilk "cow milk") | Food.kif 2843-2843 | |
| (termFormat EnglishLanguage CowMilk "sheep milk") | Food.kif 3050-3050 |
| consequent |
|
|
| (=> (instance ?PM ProcessedMilk) (exists (?P ?M) (and (instance ?P IntentionalProcess) (instance ?M CowMilk) (patient ?P ?M) (result ?P ?PM)))) |
Food.kif 2832-2839 |
|
|
|