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 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