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 8651-8651
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2233-2233 "http://upload.wikimedia.org/wikipedia/commons/7/74/ Ice_crystals_at_refrigerator_window.JPG" is a URL depicting ice
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1813-1813 "http://upload.wikimedia.org/wikipedia/commons/c/c2/ SnowflakesWilsonBentley.jpg" is a URL depicting ice
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2234-2234 "http://upload.wikimedia.org/wikipedia/commons/c/cf/ Icicles.jpg" is a URL depicting ice
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1145-1145 "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cf/ Icicles.jpg/ 180px-Icicles.jpg" is a URL depicting ice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8650-8650 Ice is a subclass of water

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1539-1539 Hailstone is a subclass of ice
No TPTP formula. May not be expressible in strict first order. Weather.kif 891-891 Sea ice is a subclass of ice
No TPTP formula. May not be expressible in strict first order. Weather.kif 1445-1445 Snow is a subclass of ice
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29023-29023 "冰" is the printable form of ice in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29022-29022 "冰" is the printable form of ice in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29021-29021 "ice" is the printable form of ice in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8653-8657 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 8659-8663

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1188-1198
No TPTP formula. May not be expressible in strict first order. Weather.kif 936-946
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23416-23423
No TPTP formula. May not be expressible in strict first order. Weather.kif 753-761


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners