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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cloud

 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 14797-14798
(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 14796-14796 Cloud は GasMixture の subclass では %n

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


(subclass Smoke Cloud) Merge.kif 14804-14804 Smoke は Cloud の subclass では %n
(subclass WaterCloud Cloud) Merge.kif 14815-14815 WaterCloud は Cloud の subclass では %n
(termFormat ChineseLanguage Cloud "云") domainEnglishFormat.kif 15288-15288
(termFormat ChineseTraditionalLanguage Cloud "雲") domainEnglishFormat.kif 15287-15287
(termFormat EnglishLanguage Cloud "cloud") domainEnglishFormat.kif 15286-15286

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


(=>
    (instance ?CLOUD Cloud)
    (capability Seeing patient ?CLOUD))		 Merge.kif 14800-14802

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 1634-1655
(=>
    (holdsDuring ?T
        (attribute ?L Cloudy))
    (exists (?C)
        (and
            (instance ?C Cloud)
            (holdsDuring ?T
                (orientation ?C ?L Above)))))		 Mid-level-ontology.kif 30340-30347
(=>
    (instance ?L Lightning)
    (exists (?C)
        (and
            (instance ?C Cloud)
            (eventLocated ?L ?C))))		 Mid-level-ontology.kif 3036-3041


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 is open source software produced by Articulate Software and its partners