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 |
![]() |
(documentation Ice EnglishLanguage "Water that has the PhysicalState of Solid.") | Mid-level-ontology.kif 8652-8652 | |
(externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/7/74/Ice_crystals_at_refrigerator_window.JPG") | pictureList.kif 2233-2233 | "http://upload.wikimedia.org/wikipedia/commons/7/74/ Ice_crystals_at_refrigerator_window.JPG" is a URL depicting ice |
(externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/c/c2/SnowflakesWilsonBentley.jpg") | pictureList.kif 1813-1813 | "http://upload.wikimedia.org/wikipedia/commons/c/c2/ SnowflakesWilsonBentley.jpg" is a URL depicting ice |
(externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/c/cf/Icicles.jpg") | pictureList.kif 2234-2234 | "http://upload.wikimedia.org/wikipedia/commons/c/cf/ Icicles.jpg" is a URL depicting ice |
(externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cf/ Icicles.jpg/ 180px-Icicles.jpg") | pictureList.kif 1145-1145 | "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cf/ Icicles.jpg/ 180px-Icicles.jpg" is a URL depicting ice |
(subclass Ice Water) | Mid-level-ontology.kif 8651-8651 | Ice is a subclass of water |
appearance as argument number 2 |
![]() |
(subclass Hailstone Ice) | Weather.kif 1635-1635 | Hailstone is a subclass of ice |
(subclass SeaIce Ice) | Weather.kif 968-968 | Sea ice is a subclass of ice |
(subclass Snow Ice) | Weather.kif 1541-1541 | Snow is a subclass of ice |
(termFormat ChineseLanguage Ice "冰") | domainEnglishFormat.kif 29023-29023 | "冰" is the printable form of ice in ChineseLanguage |
(termFormat ChineseTraditionalLanguage Ice "冰") | domainEnglishFormat.kif 29022-29022 | "冰" is the printable form of ice in ChineseTraditionalLanguage |
(termFormat EnglishLanguage Ice "ice") | domainEnglishFormat.kif 29021-29021 | "ice" is the printable form of ice in english language |
antecedent |
![]() |
(<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid))) |
Mid-level-ontology.kif 8654-8658 | 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 |
(=> (and (instance ?ICE Ice) (measure ?ICE (MeasureFn ?NUMBER CelsiusDegree))) (lessThanOrEqualTo ?NUMBER 0)) |
Mid-level-ontology.kif 8660-8664 |
|
consequent |
![]() |
![]() |
![]() |