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 8632-8632
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 1813-1813
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2234-2234
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1145-1145
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8631-8631 Ice is a subclass of water

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1853-1853 Hailstone is a subclass of ice
No TPTP formula. May not be expressible in strict first order. Weather.kif 1185-1185 Sea ice is a subclass of ice
No TPTP formula. May not be expressible in strict first order. Weather.kif 1759-1759 Snow is a subclass of ice
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29038-29038
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29037-29037
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29036-29036

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8634-8638 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 8640-8644

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1503-1513
No TPTP formula. May not be expressible in strict first order. Weather.kif 1250-1260
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23453-23460
No TPTP formula. May not be expressible in strict first order. Weather.kif 752-760


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