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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Ice
Ice(ice)
black_ice, diamond_dust, drift_ice, flake, floe, frost, frost_mist, frost_snow, hailstone, hoar, hoarfrost, ice, ice_cap, ice_crystal, ice_field, ice_floe, ice_mass, ice_needle, ice_pack, icecap, icicle, pack_ice, poudrin, rime, snow_mist, snowcap, snowdrift, snowflake, water_ice

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10183-10183
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2231-2231
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1811-1811
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2232-2232
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1144-1144
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10182-10182 Ice is a subclass of water

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 3902-3902 Hailstone is a subclass of ice
No TPTP formula. May not be expressible in strict first order. Geography.kif 4962-4962 Iceberg is a subclass of ice
No TPTP formula. May not be expressible in strict first order. Geography.kif 6238-6238 Sea ice is a subclass of ice
No TPTP formula. May not be expressible in strict first order. Weather.kif 3825-3825 Snow is a subclass of ice
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29126-29126 Snow is a subclass of ice
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29125-29125 Snow is a subclass of ice
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29124-29124 Snow is a subclass of ice

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10185-10189 An object is an instance of ice if and only if the object is an instance of water and solid is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10191-10195

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4982-4989
No TPTP formula. May not be expressible in strict first order. Weather.kif 3612-3622
No TPTP formula. May not be expressible in strict first order. Weather.kif 3343-3353
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27178-27185
No TPTP formula. May not be expressible in strict first order. Weather.kif 1376-1384


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