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 14816-14817
(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 14815-14815 Water cloud is a subclass of cloud

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


(subclass Fog WaterCloud) Mid-level-ontology.kif 9184-9184 Fog is a subclass of water cloud
(termFormat ChineseLanguage WaterCloud "水云") domainEnglishFormat.kif 62415-62415 Fog is a subclass of water cloud
(termFormat ChineseTraditionalLanguage WaterCloud "水雲") domainEnglishFormat.kif 62414-62414 Fog is a subclass of water cloud
(termFormat EnglishLanguage WaterCloud "water cloud") domainEnglishFormat.kif 62413-62413 Fog is a subclass of water cloud

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


(=>
    (instance ?CLOUD WaterCloud)
    (exists (?WATER)
        (and
            (instance ?WATER Water)
            (part ?WATER ?CLOUD))))		 Merge.kif 14819-14824
(=>
    (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 14826-14839


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