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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hailstone
Hailstone(hailstone)hailstone, 冰雹

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


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

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


(termFormat ChineseLanguage Hailstone "冰雹") Weather.kif 1537-1537 "冰雹" is the printable form of hailstone in ChineseLanguage
(termFormat EnglishLanguage Hailstone "hailstone") Weather.kif 1535-1535 "hailstone" is the printable form of hailstone in english language

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


(=>
    (instance ?STUFF Hailstone)
    (and
        (defaultMinimumSphereRadius ?STUFF
            (MeasureFn 0.5 Centimeter))
        (defaultMaximumSphereRadius ?STUFF
            (MeasureFn 15 Centimeter))))
Weather.kif 1550-1554
(=>
    (instance ?STUFF Hailstone)
    (exists (?PROCESS ?CLTN)
        (and
            (instance ?PROCESS Hailing)
            (instance ?CLTN Collection)
            (objectTransferred ?PROCESS ?CLTN)
            (member ?STUFF ?CLTN))))
Weather.kif 1541-1548


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