| appearance as argument number 1 |
|
| (documentation Hailstone ChineseLanguage "Hailstone 是 Hailing 时落下园形的 Ice Crystal，它的 approximateDiameter 介乎0.5 Centimeter 与15 Centimeter 之间。") | Weather.kif 1628-1629 | |
| (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 1624-1626 | |
| (subclass Hailstone Ice) | Weather.kif 1635-1635 | Hailstone is a subclass of ice |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Hailstone "冰雹") | Weather.kif 1633-1633 | |
| (termFormat EnglishLanguage Hailstone "hailstone") | Weather.kif 1631-1631 |
| antecedent |
|
|
| (=> (instance ?STUFF Hailstone) (and (defaultMinimumSphereRadius ?STUFF (MeasureFn 0.5 Centimeter)) (defaultMaximumSphereRadius ?STUFF (MeasureFn 15 Centimeter)))) |
Weather.kif 1646-1650 |
|
| (=> (instance ?STUFF Hailstone) (exists (?PROCESS ?CLTN) (and (instance ?PROCESS Hailing) (instance ?CLTN Collection) (objectTransferred ?PROCESS ?CLTN) (member ?STUFF ?CLTN)))) |
Weather.kif 1637-1644 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners