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 |
|
![]() |
![]() |