Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Curd(curd) |  | curd |
| appearance as argument number 1 |
|
|
| (subclass Curd DairyArtifact) | Food.kif 3168-3168 | Curd is a subclass of dairy product |
| (subclass Curd Gel) | Food.kif 3169-3169 | Curd is a subclass of gel |
| (roomTempState Curd Solid) | Food.kif 3170-3170 | room temperature state curd and solid |
| (documentation Curd EnglishLanguage "Curd is the result of CurdlingMilk.") | Food.kif 3171-3171 | room temperature state curd and solid |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Curd "curd") | Food.kif 3172-3172 |
| consequent |
|
|
| (=> (instance ?CM CurdlingMilk) (exists (?C ?W) (and (result ?CM ?C) (result ?CM ?W) (instance ?C Curd) (instance ?W Whey)))) |
Food.kif 3281-3288 | If X is an instance of curdling milk, then there exist Y, Z such that Y is a result of X, Z is a result of X, Y is an instance of curd, and Z is an instance of whey |
|