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 8977-8977
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 1812-1812
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2233-2233
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 8976-8976 Ice is a subclass of water

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 3072-3072 Hailstone is a subclass of ice
No TPTP formula. May not be expressible in strict first order. Geography.kif 4722-4722 Iceberg is a subclass of ice
No TPTP formula. May not be expressible in strict first order. Geography.kif 5935-5935 Sea ice is a subclass of ice
No TPTP formula. May not be expressible in strict first order. Weather.kif 2995-2995 Snow is a subclass of ice
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29115-29115
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29114-29114
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29113-29113

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8979-8983 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 8985-8989

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4742-4749
No TPTP formula. May not be expressible in strict first order. Weather.kif 2782-2792
No TPTP formula. May not be expressible in strict first order. Weather.kif 2514-2524
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25516-25523
No TPTP formula. May not be expressible in strict first order. Weather.kif 1141-1149


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