| Curd(curd) | | curd |
| appearance as argument number 1 |
|
|
| (documentation Curd EnglishLanguage "Curd is the result of CurdlingMilk.") | Food.kif 3141-3141 | |
| (roomTempState Curd Solid) | Food.kif 3140-3140 | roomTempState curd and solid |
| (subclass Curd DairyArtifact) | Food.kif 3138-3138 | Curd is a subclass of dairy product |
| (subclass Curd Gel) | Food.kif 3139-3139 | Curd is a subclass of gel |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Curd "curd") | Food.kif 3142-3142 |
| consequent |
|
|
| (=> (instance ?CM CurdlingMilk) (exists (?C ?W) (and (result ?CM ?C) (result ?CM ?W) (instance ?C Curd) (instance ?W Whey)))) |
Food.kif 3249-3256 |
|
|
|
|