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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LiquidDrop

Sigma KEE - LiquidDrop
LiquidDrop

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


(documentation LiquidDrop ChineseLanguage "LiquidDrop 是一滴液体, 它几乎完全由自由表面包围。") Geography.kif 7111-7111
(documentation LiquidDrop EnglishLanguage "A LiquidDrop is a small column of liquid, bounded almost completely by free surfaces.") Geography.kif 7108-7109
(subclass LiquidDrop Substance) Geography.kif 7113-7113

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


(subclass Droplet LiquidDrop) Geography.kif 7144-7144
(subclass Raindrop LiquidDrop) Weather.kif 2974-2974
(termFormat ChineseLanguage LiquidDrop "液体滴") Geography.kif 7116-7116
(termFormat EnglishLanguage LiquidDrop "liquid drop") Geography.kif 7115-7115

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


(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500 ?S))
    (instance ?LD Droplet))
Geography.kif 7149-7155
(=>
    (and
        (instance ?LD LiquidDrop)
        (surface ?S ?LD))
    (modalAttribute
        (exists (?SS ?LL)
            (and
                (instance ?LL Substance)
                (attribute ?LL Liquid)
                (not
                    (equal ?LD ?LL))
                (surface ?SS ?LL)
                (meetsSpatially ?S ?SS))) Unlikely))
Geography.kif 7122-7134
(=>
    (instance ?LD LiquidDrop)
    (attribute ?LD Liquid))
Geography.kif 7118-7120

consequent
-------------------------


(=>
    (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 2798-2810
(=>
    (instance ?RAIN Raining)
    (exists (?CLTN ?R)
        (and
            (instance ?CLTN Collection)
            (instance ?R Water)
            (instance ?R LiquidDrop)
            (member ?R ?CLTN)
            (objectTransferred ?RAIN ?CLTN)
            (defaultMinimumSphereRadius ?R
                (MeasureFn 0.1 Millimeter))
            (defaultMaximumSphereRadius ?R
                (MeasureFn 9 Millimeter)))))
Weather.kif 1058-1070


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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