Hailstone |
appearance as argument number 1 |
![]() |
(documentation Hailstone ChineseLanguage "Hailstone 是 Hailing 时落下园形的 Ice Crystal,它的 approximateDiameter 介乎0.5 Centimeter 与15 Centimeter 之间。") | Weather.kif 2791-2792 | |
(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 2788-2790 | |
(subclass Hailstone Ice) | Weather.kif 2795-2795 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Hailstone "冰雹") | Weather.kif 2794-2794 | |
(termFormat EnglishLanguage Hailstone "hailstone") | Weather.kif 2793-2793 |
antecedent |
![]() |
(=> (instance ?STUFF Hailstone) (and (defaultMinimumSphereRadius ?STUFF (MeasureFn 0.5 Centimeter)) (defaultMaximumSphereRadius ?STUFF (MeasureFn 15 Centimeter)))) |
Weather.kif 2806-2810 | |
(=> (instance ?STUFF Hailstone) (exists (?PROCESS ?CLTN) (and (instance ?PROCESS Hailing) (instance ?CLTN Collection) (objectTransferred ?PROCESS ?CLTN) (member ?STUFF ?CLTN)))) |
Weather.kif 2797-2804 |
![]() |
![]() |