TreeView Knowledge Base Browser

antecedent

(=>
    (instance ?PROCESS Sleeting)
    (exists (?STUFF ?R ?S ?MELT)
        (and
            (instance ?STUFF CollectionOfObjects)
            (objectTransferred ?PROCESS ?STUFF)
            (instance ?R Raindrop)
            (instance ?S Snowflake)
            (member ?R ?STUFF)
            (member ?S ?STUFF)
            (instance ?MELT Melting)
            (subProcess ?MELT ?PROCESS)
            (patient ?MELT ?S))))

If X is an instance of sleeting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of collection (3) the object transferred in X is Y (4) Z is an instance of rain drop (5) W is an instance of snowflake (6) Z is a member of Y (7) W is a member of Y (8) V is an instance of melting (9) V is a subprocess of X (10) W is a patient of V

(subclass Sleeting Precipitation)	Weather.kif 1831-1831	Sleeting is a subclass of precipitation
(documentation Sleeting EnglishLanguage "Sleeting is a form of Precipitation composed of Rain and partly melted Snow.")	Weather.kif 1832-1833	Sleeting is a subclass of precipitation
(documentation Sleeting ChineseLanguage "Sleeting 一种 Rain 夹着部分融化了的 Snow 的 Precipitation。")	Weather.kif 1834-1835	Sleeting is a subclass of precipitation

(termFormat ChineseLanguage Sleeting "雨夹雪")	Weather.kif 1836-1836
(termFormat EnglishLanguage Sleeting "sleeting")	domainEnglishFormat.kif 53373-53373
(termFormat ChineseTraditionalLanguage Sleeting "雨雪")	domainEnglishFormat.kif 53374-53374
(termFormat ChineseLanguage Sleeting "雨雪")	domainEnglishFormat.kif 53375-53375