Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hailstone

Sigma KEE - Hailstone
Hailstone(hailstone)

appearance as argument number 1
-------------------------


(documentation Hailstone ChineseLanguage "HailstoneHailing 时落下园形的 Ice Crystal,它的 approximateDiameter 介乎0.5 Centimeter 与15 Centimeter 之间。") Weather.kif 3067-3068
(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 3064-3066
(subclass Hailstone Ice) Weather.kif 3071-3071 Hailstone is a subclass of ice

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Hailstone "冰雹") Weather.kif 3070-3070
(termFormat EnglishLanguage Hailstone "hailstone") Weather.kif 3069-3069

antecedent
-------------------------


(=>
    (instance ?STUFF Hailstone)
    (and
        (defaultMinimumSphereRadius ?STUFF
            (MeasureFn 0.5 Centimeter))
        (defaultMaximumSphereRadius ?STUFF
            (MeasureFn 15.0 Centimeter))))
Weather.kif 3082-3086
(=>
    (instance ?STUFF Hailstone)
    (exists (?PROCESS ?CLTN)
        (and
            (instance ?PROCESS Hailing)
            (instance ?CLTN Collection)
            (objectTransferred ?PROCESS ?CLTN)
            (member ?STUFF ?CLTN))))
Weather.kif 3073-3080


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners