Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Rain(rain) |
| appearance as argument number 1 |
|
| (documentation Rain EnglishLanguage "Rain refers to the Water resulting from Raining.") | Weather.kif 4226-4227 | |
| (documentation Rain ChineseLanguage "Rain 是 Raining 而来的 Water。") | Weather.kif 4228-4228 | |
| (subclass Rain Water) | Weather.kif 4231-4231 | Rain is a subclass of water |
| (roomTempState Rain Liquid) | Weather.kif 4232-4232 | room temperature state rain and liquid |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Rain "rain") | Weather.kif 4229-4229 | |
| (termFormat ChineseLanguage Rain "雨水") | Weather.kif 4230-4230 |
| consequent |
|
|
| (=> (instance ?PROCESS Raining) (exists (?RAIN) (and (instance ?RAIN Rain) (objectTransferred ?PROCESS ?RAIN)))) |
Weather.kif 4234-4239 | If X is an instance of raining, then there exists Y such that Y is an instance of rain and the object transferred in X is Y |
| (=> (instance ?DROP Raindrop) (exists (?RAIN) (and (instance ?RAIN Rain) (instance ?RAIN CollectionOfObjects) (member ?DROP ?RAIN)))) |
Weather.kif 4250-4256 | If X is an instance of rain drop, then there exists Y such that Y is an instance of rain, Y is an instance of collection, and X is a member of Y |
|