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


KB Term:  Term intersection
English Word: 

  WaterCloud

 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
-------------------------


(subclass WaterCloud Cloud) Merge.kif 15081-15081 Water cloud is a subclass of cloud
(documentation WaterCloud EnglishLanguage "Any Cloud that is composed primarily of water vapor.") Merge.kif 15082-15083 Water cloud is a subclass of cloud
(externalImage WaterCloud "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Cumulus_clouds_in_fair_weather.jpeg") pictureList.kif 975-975 Water cloud is a subclass of cloud

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


(subclass Fog WaterCloud) Mid-level-ontology.kif 10333-10333 Fog is a subclass of water cloud
(termFormat EnglishLanguage WaterCloud "water cloud") domainEnglishFormat.kif 62368-62368 Fog is a subclass of water cloud
(termFormat ChineseTraditionalLanguage WaterCloud "水雲") domainEnglishFormat.kif 62369-62369 Fog is a subclass of water cloud
(termFormat ChineseLanguage WaterCloud "水云") domainEnglishFormat.kif 62370-62370 Fog is a subclass of water cloud

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


(=>
    (instance ?CLOUD WaterCloud)
    (exists (?WATER)
        (and
            (instance ?WATER Water)
            (part ?WATER ?CLOUD))))		 Merge.kif 15085-15090 If X is an instance of water cloud, then there exists Y such that Y is an instance of water and Y is a part of X
(=>
    (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 15092-15105 If X is an instance of water cloud, then For all Object Y: if Y is a part of X and Y is not an instance of water, then there exist Z, W,, , V and U such that Z is an instance of water and Z is a part of X and the measure of Z is W U(s) and the measure of Y is V U(s) and W is greater than V
(=>
    (and
        (instance ?L IntraCloudLightning)
        (instance ?C WaterCloud)
        (origin ?L ?A)
        (part ?A ?C))
    (exists (?B)
        (and
            (part ?B ?C)
            (not
                (equal ?A ?B))
            (destination ?L ?B))))		 Weather.kif 1414-1425 If X is an instance of intra cloud lightning, Y is an instance of water cloud, X originates at Z, and Z is a part of Y, then there exists W such that W is a part of Y, equal Z, W, and X ends up at W
(=>
    (and
        (instance ?L CloudToCloudLightning)
        (instance ?A WaterCloud)
        (origin ?L ?A)
        (destination ?L ?B)
        (instance ?B WaterCloud))
    (not
        (equal ?A ?B)))		 Weather.kif 1432-1440 If X is an instance of cloud to cloud lightning, Y is an instance of water cloud, X originates at Y, X ends up at Z, and Z is an instance of water cloud, then equal Y and Z
(=>
    (and
        (instance ?L LightningStrike)
        (instance ?A WaterCloud)
        (origin ?L ?A)
        (destination ?L ?G))
    (instance ?G GeographicArea))		 Weather.kif 1447-1453 If X is an instance of lightning strike, Y is an instance of water cloud, X originates at Y, and X ends up at Z, then Z is an instance of geographic area

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


(=>
    (instance ?L Lightning)
    (exists (?C)
        (and
            (instance ?C WaterCloud)
            (eventLocated ?L ?C))))		 Weather.kif 1402-1407 If X is an instance of lightning, then there exists Y such that Y is an instance of water cloud and X is located at Y
(=>
    (instance ?S Waterspout)
    (exists (?A ?R ?C ?F ?W)
        (and
            (instance ?A AirStream)
            (instance ?R Rotating)
            (patient ?R ?A)
            (origin ?R ?C)
            (instance ?C WaterCloud)
            (part ?F ?C)
            (shape ?F Cone)
            (eventLocated ?R ?W)
            (instance ?W BodyOfWater)
            (connects ?F ?W ?C))))		 Weather.kif 1476-1489 If X is an instance of waterspout, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of air stream (3) Z is an instance of rotating (4) Y is a patient of Z (5) Z originates at W (6) W is an instance of water cloud (7) V is a part of W (8) V is cone (9) Z is located at U (10) U is an instance of body of water (11) V connects U (12) W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners