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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WaterCloud
WaterCloud(water cloud)
altocumulus, altocumulus_cloud, altostratus, altostratus_cloud, cirrocumulus, cirrocumulus_cloud, cirrostratus, cirrostratus_cloud, cirrus, cirrus_cloud, cloud_bank, condensation_trail, contrail, cumulonimbus, cumulonimbus_cloud, cumulus, cumulus_cloud, mare's_tail, nimbus, nimbus_cloud, pea-souper, pea_soup, rain_cloud, storm_cloud, stratus, stratus_cloud, thundercloud, thunderhead

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


(documentation WaterCloud ChineseLanguage "这是任何主要由水蒸气组成的 Cloud。") chinese_format.kif 3470-3470
(documentation WaterCloud EnglishLanguage "Any Cloud that is composed primarily of water vapor.") Merge.kif 14844-14845
(externalImage WaterCloud "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Cumulus_clouds_in_fair_weather.jpeg") pictureList.kif 975-975
(subclass WaterCloud Cloud) Merge.kif 14843-14843 Water cloud is a subclass of cloud

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


(subclass Fog WaterCloud) Mid-level-ontology.kif 9739-9739 Fog is a subclass of water cloud
(termFormat ChineseLanguage WaterCloud "水云") domainEnglishFormat.kif 62390-62390 Fog is a subclass of water cloud
(termFormat ChineseTraditionalLanguage WaterCloud "水雲") domainEnglishFormat.kif 62389-62389 Fog is a subclass of water cloud
(termFormat EnglishLanguage WaterCloud "water cloud") domainEnglishFormat.kif 62388-62388 Fog is a subclass of water cloud

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


(=>
    (instance ?CLOUD WaterCloud)
    (exists (?WATER)
        (and
            (instance ?WATER Water)
            (part ?WATER ?CLOUD))))		 Merge.kif 14847-14852
(=>
    (instance ?CLOUD WaterCloud)
    (forall (?PART)
        (=>
            (and
                (part ?PART ?CLOUD)
                (not
                    (instance ?PART Water)))
            (exists (?WATER ?MEASURE1 ?MEASURE2 ?U)
                (and
                    (instance ?WATER Water)
                    (part ?WATER ?CLOUD)
                    (measure ?WATER
                        (MeasureFn ?MEASURE1 ?U))
                    (measure ?PART
                        (MeasureFn ?MEASURE2 ?U))
                    (greaterThan ?MEASURE1 ?MEASURE2))))))		 Merge.kif 14854-14867


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