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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cloud

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3467-3468
No TPTP formula. May not be expressible in strict first order. Merge.kif 14751-14752
No TPTP formula. May not be expressible in strict first order. pictureList.kif 352-352
No TPTP formula. May not be expressible in strict first order. pictureList.kif 70-70
No TPTP formula. May not be expressible in strict first order. Merge.kif 14750-14750 Cloud is a subclass of gas mixture

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14758-14758 Smoke is a subclass of cloud
No TPTP formula. May not be expressible in strict first order. Merge.kif 14769-14769 Water cloud is a subclass of cloud
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15288-15288
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15287-15287
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15286-15286

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14754-14756

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1651-1672
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30316-30323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3043-3048


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