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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cloud
Cloud

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 14855-14856
(externalImage Cloud "http://articulatesoftware.com/SUMOpictures/weather/ clouds/ cloud_1.png") pictureList.kif 352-352
(externalImage Cloud "http://upload.wikimedia.org/wikipedia/commons/6/66/ Img20050526_0007_at_tannheim_cumulus.jpg") pictureList.kif 70-70
(subclass Cloud GasMixture) Merge.kif 14854-14854 Cloud est une sous-classe de GasMixture

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


(subclass Smoke Cloud) Merge.kif 14862-14862 Smoke est une sous-classe de Cloud
(subclass WaterCloud Cloud) Merge.kif 14873-14873 WaterCloud est une sous-classe de Cloud
(termFormat ChineseLanguage Cloud "云") domainEnglishFormat.kif 15303-15303 WaterCloud est une sous-classe de Cloud
(termFormat ChineseTraditionalLanguage Cloud "雲") domainEnglishFormat.kif 15302-15302 WaterCloud est une sous-classe de Cloud
(termFormat EnglishLanguage Cloud "cloud") domainEnglishFormat.kif 15301-15301 WaterCloud est une sous-classe de Cloud

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


(=>
    (instance ?CLOUD Cloud)
    (capability Seeing patient ?CLOUD))		 Merge.kif 14858-14860

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


(=>
    (and
        (instance ?T Tornado)
        (instance ?R Rotating)
        (instance ?A Air)
        (instance ?TRAN Translocation)
        (subProcess ?R ?T)
        (subProcess ?TRAN ?R)
        (patient ?TRAN ?A)
        (direction ?TRAN Horizontal))
    (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
        (and
            (instance ?G GeographicArea)
            (eventLocated ?T ?G)
            (part ?FUNNEL ?A)
            (attribute ?FUNNEL ConeSegment)
            (top ?TOP ?FUNNEL)
            (bottom ?BOTTOM ?FUNNEL)
            (instance ?C Cloud)
            (bottom ?BASE ?C)
            (meetsSpatially ?TOP ?BASE)
            (meetsSpatially ?BOTTOM ?G))))		 Weather.kif 1633-1654
(=>
    (holdsDuring ?T
        (attribute ?L Cloudy))
    (exists (?C)
        (and
            (instance ?C Cloud)
            (holdsDuring ?T
                (orientation ?C ?L Above)))))		 Mid-level-ontology.kif 31980-31987
(=>
    (instance ?L Lightning)
    (exists (?C)
        (and
            (instance ?C Cloud)
            (eventLocated ?L ?C))))		 Mid-level-ontology.kif 3512-3517


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