Hailing - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Hailing Precipitation)	Weather.kif 1854-1854	Hailing is a subclass of precipitation
(documentation Hailing EnglishLanguage "Hailing is a form of Precipitation Process in which Water falls in a Solid state.")	Weather.kif 1855-1856	Hailing is a subclass of precipitation
(documentation Hailing ChineseLanguage "Hailing 是一种 Precipitation 的 Process，当中 Water 以 Solid 状态落下。")	Weather.kif 1857-1858	Hailing is a subclass of precipitation
(externalImage Hailing "http://upload.wikimedia.org/wikipedia/commons/1/ 16/ Hailstorm.jpg")	pictureList.kif 986-986	Hailing is a subclass of precipitation

appearance as argument number 2

(termFormat EnglishLanguage Hailing "hailing")	domainEnglishFormat.kif 27194-27194
(termFormat ChineseTraditionalLanguage Hailing "下冰雹")	domainEnglishFormat.kif 27195-27195
(termFormat ChineseLanguage Hailing "下冰雹")	domainEnglishFormat.kif 27196-27196

antecedent

(=>
(instance ?PROCESS Hailing)
(precipitationState ?PROCESS Solid))

If X is an instance of hailing, then solid is a precipitation state of X

consequent

(=>
    (instance ?STUFF Hailstone)
    (exists (?PROCESS ?CLTN)
        (and
            (instance ?PROCESS Hailing)
            (instance ?CLTN CollectionOfObjects)
            (objectTransferred ?PROCESS ?CLTN)
            (member ?STUFF ?CLTN))))

If X is an instance of hailstone, then there exist Y, Z such that Y is an instance of hailing, Z is an instance of collection, the object transferred in Y is Z, and X is a member of Z