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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Cloud
Cloud

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


(documentation Cloud ChineseLanguage "这是任何用肉眼可见的 GasMixture，例如：由火焰或天空中的 水蒸气所产生的 Smoke。") chinese_format.kif 3467-3468
(documentation Cloud EnglishLanguage "Any GasMixture that is visible, e.g. Smoke produced by a fire or clouds of water vapor in the sky.") Merge.kif 14904-14905
(externalImage Cloud "http://articulatesoftware.com/SUMOpictures/weather/ clouds/ cloud_1.png") pictureList.kif 352-352
(externalImage Cloud "http://upload.wikimedia.org/wikipedia/commons/6/66/ Img20050526_0007_at_tannheim_cumulus.jpg") pictureList.kif 70-70
(subclass Cloud GasMixture) Merge.kif 14903-14903 Cloud は GasMixture の subclass では

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


(subclass Smoke Cloud) Merge.kif 14911-14911 Smoke は Cloud の subclass では
(subclass WaterCloud Cloud) Merge.kif 14922-14922 WaterCloud は Cloud の subclass では
(termFormat ChineseLanguage Cloud "云") domainEnglishFormat.kif 15297-15297 WaterCloud は Cloud の subclass では
(termFormat ChineseTraditionalLanguage Cloud "雲") domainEnglishFormat.kif 15296-15296 WaterCloud は Cloud の subclass では
(termFormat EnglishLanguage Cloud "cloud") domainEnglishFormat.kif 15295-15295 WaterCloud は Cloud の subclass では

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


(=>
    (instance ?CLOUD Cloud)
    (capability Seeing patient ?CLOUD))		 Merge.kif 14907-14909

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


(=>
    (and
        (instance ?T Tornado)
        (instance ?R Rotating)
        (instance ?A Air)
        (instance ?TRAN Translocation)
        (subProcess ?R ?T)
        (subProcess ?TRAN ?R)
        (patient ?TRAN ?A)
        (direction ?TRAN Horizontal))
    (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
        (and
            (instance ?G GeographicArea)
            (eventLocated ?T ?G)
            (part ?FUNNEL ?A)
            (attribute ?FUNNEL ConeSegment)
            (top ?TOP ?FUNNEL)
            (bottom ?BOTTOM ?FUNNEL)
            (instance ?C Cloud)
            (bottom ?BASE ?C)
            (meetsSpatially ?TOP ?BASE)
            (meetsSpatially ?BOTTOM ?G))))		 Weather.kif 2336-2357
(=>
    (holdsDuring ?T
        (attribute ?L Cloudy))
    (exists (?C)
        (and
            (instance ?C Cloud)
            (holdsDuring ?T
                (orientation ?C ?L Above)))))		 Mid-level-ontology.kif 32234-32241


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