| Whey(whey) | | whey |
| appearance as argument number 1 |
|
|
| (documentation Whey EnglishLanguage "Whey is the result of CurdlingMilk.") | Food.kif 3146-3146 | |
| (roomTempState Whey Liquid) | Food.kif 3148-3148 | roomTempState whey and liquid |
| (subclass Whey Colloid) | Food.kif 3145-3145 | Whey is a subclass of colloid |
| (subclass Whey DairyArtifact) | Food.kif 3144-3144 | Whey is a subclass of dairy product |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Whey "whey") | Food.kif 3147-3147 |
| consequent |
|
|
| (=> (instance ?CM CurdlingMilk) (exists (?C ?W) (and (result ?CM ?C) (result ?CM ?W) (instance ?C Curd) (instance ?W Whey)))) |
Food.kif 3249-3256 |
|
|
|
|