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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WaterCloud
WaterCloud

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 14770-14771
(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 14769-14769

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


(subclass Fog WaterCloud) Mid-level-ontology.kif 8966-8966
(termFormat ChineseLanguage WaterCloud "水云") domainEnglishFormat.kif 62367-62367
(termFormat ChineseTraditionalLanguage WaterCloud "水雲") domainEnglishFormat.kif 62366-62366
(termFormat EnglishLanguage WaterCloud "water cloud") domainEnglishFormat.kif 62365-62365

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


(=>
    (instance ?CLOUD WaterCloud)
    (exists (?WATER)
        (and
            (instance ?WATER Water)
            (part ?WATER ?CLOUD))))
Merge.kif 14773-14778
(=>
    (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 14780-14793


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