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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Drizzling
Drizzling

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


(documentation Drizzling ChineseLanguage "DrizzlingRainingsubclass, 它是当雨点 的 approximateDiameter 小于或等于 0.5 Millimeter。") Weather.kif 2797-2798
(documentation Drizzling EnglishLanguage "Drizzling is a subclass of Raining when the raindrops are less than or equal 0.5 Millimeter in approximateDiameter.") Weather.kif 2795-2796
(subclass Drizzling Raining) Weather.kif 2801-2801

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


(termFormat ChineseLanguage Drizzling "毛毛雨") Weather.kif 2800-2800
(termFormat EnglishLanguage Drizzling "drizzling") Weather.kif 2799-2799

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


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 3.0 is open source software produced by Articulate Software and its partners