Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Raindrop(rain drop) |
| appearance as argument number 1 |
|
| (documentation Raindrop EnglishLanguage "A Raindrop is one LiquidDrop from the CollectionOfObjects of Rain.") | Weather.kif 4242-4243 | |
| (documentation Raindrop ChineseLanguage "一滴 Raindrop 是指 Rain CollectionOfObjects 里的一滴 LiquidDrop。") | Weather.kif 4244-4245 | |
| (subclass Raindrop LiquidDrop) | Weather.kif 4248-4248 | Rain drop is a subclass of liquid drop |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Raindrop "rain drop") | Weather.kif 4246-4246 | |
| (termFormat ChineseLanguage Raindrop "雨点") | Weather.kif 4247-4247 |
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (instance ?PROCESS Sleeting) (exists (?STUFF ?R ?S ?MELT) (and (instance ?STUFF CollectionOfObjects) (objectTransferred ?PROCESS ?STUFF) (instance ?R Raindrop) (instance ?S Snowflake) (member ?R ?STUFF) (member ?S ?STUFF) (instance ?MELT Melting) (subProcess ?MELT ?PROCESS) (patient ?MELT ?S)))) |
Weather.kif 1838-1850 | If X is an instance of sleeting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of collection (3) the object transferred in X is Y (4) Z is an instance of rain drop (5) W is an instance of snowflake (6) Z is a member of Y (7) W is a member of Y (8) V is an instance of melting (9) V is a subprocess of X (10) W is a patient of V |
|