Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Whey(whey) |  | whey |
| appearance as argument number 1 |
|
|
| (subclass Whey DairyArtifact) | Food.kif 3174-3174 | Whey is a subclass of dairy product |
| (subclass Whey Colloid) | Food.kif 3175-3175 | Whey is a subclass of colloid |
| (documentation Whey EnglishLanguage "Whey is the result of CurdlingMilk.") | Food.kif 3176-3176 | Whey is a subclass of colloid |
| (roomTempState Whey Liquid) | Food.kif 3178-3178 | room temperature state whey and liquid |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Whey "whey") | Food.kif 3177-3177 |
| 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 |
|