Drizzling - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Drizzling ChineseLanguage "Drizzling 是 Raining 的 subclass, 它是当雨点的 approximateDiameter 小于或等于 0.5 Millimeter。")	Weather.kif 1520-1521
(documentation Drizzling EnglishLanguage "Drizzling is a subclass of Raining when the raindrops are less than or equal 0.5 Millimeter in approximateDiameter.")	Weather.kif 1517-1518
(subclass Drizzling Raining)	Weather.kif 1527-1527	Drizzling is a subclass of raining

appearance as argument number 2

(termFormat ChineseLanguage Drizzling "毛毛雨")	Weather.kif 1525-1525
(termFormat EnglishLanguage Drizzling "drizzling")	Weather.kif 1523-1523

antecedent

(=>
    (instance ?DRIZZLE Drizzling)
    (exists (?CLTN ?R ?SIZE)
        (and
            (instance ?CLTN Collection)
            (instance ?R Water)
            (instance ?R LiquidDrop)
            (member ?R ?CLTN)
            (objectTransferred ?DRIZZLE ?CLTN)
            (approximateDiameter ?R
                (MeasureFn ?SIZE Millimeter))
            (modalAttribute
                (lessThanOrEqualTo ?SIZE 0.5) Likely))))

Weather.kif 1529-1541