|
|
   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 | |
| (subclass Curd DairyArtifact) | Food.kif 3138-3138 | |
| (subclass Curd Gel) | Food.kif 3139-3139 |
| 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 |
|
|
|