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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cloud
Cloud(cloud)
cloud, dull, heavy, leaden, lowering, mother-of-pearl_cloud, nacreous_cloud, nebule, sullen, threatening, water_vapor, water_vapour

appearance as argument number 1
-------------------------


s__documentation(s__Cloud,s__ChineseLanguage,'"这是任何用肉眼可见的 GasMixture,例如:由火焰或天空中的 水蒸气所产生的 Smoke。"')

chinese_format.kif 3467-3468
s__documentation(s__Cloud,s__EnglishLanguage,'"Any GasMixture that is visible, e.g. Smoke produced by a fire or clouds of water vapor in the sky."')

Merge.kif 14108-14109
s__externalImage(s__Cloud,'"http://upload.wikimedia.org/wikipedia/commons/6/66/ Img20050526_0007_at_tannheim_cumulus.jpg"')

pictureList.kif 70-70
s__externalImage(s__Cloud,'"http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ clouds/ cloud_1.png"')

pictureList.kif 352-352
s__subclass(s__Cloud,s__GasMixture)

s__instance(s__Cloud,s__Class)

s__instance(s__GasMixture,s__Class)

Merge.kif 14107-14107 Cloud is a subclass of gas mixture

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


s__subclass(s__Smoke,s__Cloud)

s__instance(s__Cloud,s__Class)

s__instance(s__Smoke,s__Class)

Merge.kif 14115-14115 Smoke is a subclass of cloud
s__instance(s__WaterCloud,s__Class)

s__instance(s__Cloud,s__Class)

s__subclass(s__WaterCloud,s__Cloud)

Merge.kif 14126-14126 Water cloud is a subclass of cloud
s__termFormat(s__ChineseLanguage,s__Cloud,'"云"')

domainEnglishFormat.kif 15291-15291
s__termFormat(s__ChineseTraditionalLanguage,s__Cloud,'"雲"')

domainEnglishFormat.kif 15290-15290
s__termFormat(s__EnglishLanguage,s__Cloud,'"cloud"')

domainEnglishFormat.kif 15289-15289

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


( ! [V__CLOUD] :
   ((s__instance(V__CLOUD,s__Cloud) =>
       (s__capability(s__Seeing,s__patient__m,V__CLOUD)))
   )
)

Merge.kif 14111-14113

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


( ! [V__A,V__R,V__T,V__TRAN] :
   (((s__instance(V__T,s__Tornado) &
         s__instance(V__R,s__Rotating) &
         s__instance(V__A,s__Air) &
         s__instance(V__TRAN,s__Translocation) &
         s__subProcess(V__R,V__T)
       &
       s__subProcess(V__TRAN,V__R)
     &
     s__patient(V__TRAN,V__A)
   &
   s__direction(V__TRAN,s__Horizontal))
=>
(( ? [V__G, V__FUNNEL, V__TOP, V__BOTTOM, V__C, V__BASE] :
     ((s__instance(V__FUNNEL,s__SelfConnectedObject) &
         s__instance(V__TOP,s__SelfConnectedObject) &
         s__instance(V__BOTTOM,s__SelfConnectedObject) &
         s__instance(V__BASE,s__SelfConnectedObject) &
         (s__instance(V__G,s__GeographicArea) &
           s__eventLocated(V__T,V__G)
         &
         s__part(V__FUNNEL,V__A)
       &
       s__attribute(V__FUNNEL,s__ConeSegment) &
       s__top(V__TOP,V__FUNNEL)
     &
     s__bottom(V__BOTTOM,V__FUNNEL)
   &
   s__instance(V__C,s__Cloud) &
   s__bottom(V__BASE,V__C)
&
s__meetsSpatially(V__TOP,V__BASE)
&
s__meetsSpatially(V__BOTTOM,V__G)))))))
)
)

Weather.kif 1650-1671
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29548-29555
( ! [V__L] :
   ((s__instance(V__L,s__Lightning) =>
       (( ? [V__C] :
           ((s__instance(V__C,s__Cloud) &
               s__eventLocated(V__L,V__C))))))
   )
)

Mid-level-ontology.kif 2977-2982


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