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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hailstone
Hailstone(hailstone)

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


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

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


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

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


(=>
    (instance ?STUFF Hailstone)
    (exists (?CLASS)
        (and
            (instance ?STUFF ?CLASS)
            (defaultMinimumSphereRadius ?CLASS
                (MeasureFn 0.5 Centimeter))
            (defaultMaximumSphereRadius ?CLASS
                (MeasureFn 15.0 Centimeter)))))
Weather.kif 3083-3089
(=>
    (instance ?STUFF Hailstone)
    (exists (?PROCESS ?CLTN)
        (and
            (instance ?PROCESS Hailing)
            (instance ?CLTN Collection)
            (objectTransferred ?PROCESS ?CLTN)
            (member ?STUFF ?CLTN))))
Weather.kif 3074-3081


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 3.0 is open source software produced by Articulate Software and its partners