Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Hailstone(hailstone) |
| appearance as argument number 1 |
|
| (documentation Hailstone EnglishLanguage "A Hailstone is a round Ice Crystal resulting from Hailing. Its approximateDiameter ranges between 0.5 Centimeter to 15 Centimeter. ") | Weather.kif 4334-4336 | |
| (documentation Hailstone ChineseLanguage "Hailstone 是 Hailing 时落下园形的 Ice Crystal，它的 approximateDiameter 介乎0.5 Centimeter 与15 Centimeter 之间。") | Weather.kif 4337-4338 | |
| (subclass Hailstone Ice) | Weather.kif 4341-4341 | Hailstone is a subclass of ice |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Hailstone "hailstone") | Weather.kif 4339-4339 | |
| (termFormat ChineseLanguage Hailstone "冰雹") | Weather.kif 4340-4340 |
| antecedent |
|
|
| (=> (instance ?STUFF Hailstone) (exists (?PROCESS ?CLTN) (and (instance ?PROCESS Hailing) (instance ?CLTN CollectionOfObjects) (objectTransferred ?PROCESS ?CLTN) (member ?STUFF ?CLTN)))) |
Weather.kif 4343-4350 | If X is an instance of hailstone, then there exist Y, Z such that Y is an instance of hailing, Z is an instance of collection, the object transferred in Y is Z, and X is a member of Z |
| (=> (instance ?STUFF Hailstone) (exists (?CLASS) (and (instance ?STUFF ?CLASS) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.5 Centimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 15.0 Centimeter))))) |
Weather.kif 4352-4358 | If X is an instance of hailstone, then there exists Y such that X is an instance of Y and the minimum expected radius of Y is 0.5 centimeter(s) and the maximum expected radius of Y is 15.0 centimeter(s) |
|