WaterCloud - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - WaterCloud

WaterCloud(water cloud)

altocumulus, altocumulus_cloud, altostratus, altostratus_cloud, cirrocumulus, cirrocumulus_cloud, cirrostratus, cirrostratus_cloud, cirrus, cirrus_cloud, cloud_bank, condensation_trail, contrail, cumulonimbus, cumulonimbus_cloud, cumulus, cumulus_cloud, mare's_tail, nimbus, nimbus_cloud, pea-souper, pea_soup, rain_cloud, storm_cloud, stratus, stratus_cloud, thundercloud, thunderhead

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3470-3470
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14770-14771
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 975-975
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14769-14769	Water cloud is a subclass of cloud

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8966-8966	Fog is a subclass of water cloud
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62367-62367
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62366-62366
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62365-62365

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14773-14778	If an object is an instance of water cloud, then there exists another object such that the other object is an instance of water and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14780-14793	If an object is an instance of water cloud, then for all another object if the other object is a part of the object and the other object is not an instance of water, then there exist a third object, a real number,, , another real number and an unit of measure such that the third object is an instance of water and the third object is a part of the object and the measure of the third object is the real number the unit of measure(s) and the measure of the other object is the other real number the unit of measure(s) and the real number is greater than the other real number

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