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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cloud
Cloud(cloud)
cloud, dull, heavy, leaden, lowering, mother-of-pearl_cloud, nacreous_cloud, nebule, sullen, threatening, water_vapor, water_vapour

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 13677-13678
(externalImage Cloud "http://upload.wikimedia.org/wikipedia/commons/6/66/ Img20050526_0007_at_tannheim_cumulus.jpg") pictureList.kif 70-70
(externalImage Cloud "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ clouds/ cloud_1.png") pictureList.kif 352-352
(subclass Cloud GasMixture) Merge.kif 13676-13676 Cloud is a subclass of gas mixture

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


(subclass Smoke Cloud) Merge.kif 13684-13684 Smoke is a subclass of cloud
(subclass WaterCloud Cloud) Merge.kif 13695-13695 Water cloud is a subclass of cloud
(termFormat ChineseLanguage Cloud "云") domainEnglishFormat.kif 15223-15223
(termFormat ChineseTraditionalLanguage Cloud "雲") domainEnglishFormat.kif 15222-15222
(termFormat EnglishLanguage Cloud "cloud") domainEnglishFormat.kif 15221-15221

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


(=>
    (instance ?CLOUD Cloud)
    (capability Seeing patient ?CLOUD))
Merge.kif 13680-13682

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


(=>
    (holdsDuring ?T
        (attribute ?L Cloudy))
    (exists (?C)
        (and
            (instance ?C Cloud)
            (holdsDuring ?T
                (orientation ?C ?L Above)))))
Mid-level-ontology.kif 28464-28471
(=>
    (instance ?L Lightning)
    (exists (?C)
        (and
            (instance ?C Cloud)
            (eventLocated ?L ?C))))
Mid-level-ontology.kif 3580-3585


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners