Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (subclass Ice Water) | Mid-level-ontology.kif 10343-10343 | Ice is a subclass of water |
| (documentation Ice EnglishLanguage "Water that has the PhysicalState of Solid.") | Mid-level-ontology.kif 10344-10344 | Ice is a subclass of water |
| (externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cf/ Icicles.jpg/ 180px_Icicles.jpg") | pictureList.kif 1144-1144 | Ice is a subclass of water |
| (externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/c/c2/SnowflakesWilsonBentley.jpg") | pictureList.kif 1811-1811 | Ice is a subclass of water |
| (externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/7/74/Ice_crystals_at_refrigerator_window.JPG") | pictureList.kif 2231-2231 | Ice is a subclass of water |
| (externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/c/cf/Icicles.jpg") | pictureList.kif 2232-2232 | Ice is a subclass of water |
| appearance as argument number 2 |
|
|
| (subclass Iceberg Ice) | Geography.kif 6264-6264 | Iceberg is a subclass of ice |
| (subclass SeaIce Ice) | Geography.kif 7535-7535 | Sea ice is a subclass of ice |
| (subclass Snow Ice) | Weather.kif 4264-4264 | Snow is a subclass of ice |
| (subclass Hailstone Ice) | Weather.kif 4341-4341 | Hailstone is a subclass of ice |
| (termFormat EnglishLanguage Ice "ice") | domainEnglishFormat.kif 29117-29117 | Hailstone is a subclass of ice |
| (termFormat ChineseTraditionalLanguage Ice "冰") | domainEnglishFormat.kif 29118-29118 | Hailstone is a subclass of ice |
| (termFormat ChineseLanguage Ice "冰") | domainEnglishFormat.kif 29119-29119 | Hailstone is a subclass of ice |
| antecedent |
|
|
| (<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid))) |
Mid-level-ontology.kif 10346-10350 | X is an instance of ice if, only if X is an instance of water, and solid is an attribute of X |
| (=> (and (instance ?ICE Ice) (measure ?ICE (MeasureFn ?NUMBER CelsiusDegree))) (lessThanOrEqualTo ?NUMBER 0.0)) |
Mid-level-ontology.kif 10352-10356 | If X is an instance of ice and the measure of X is Y celsius degree(s), then Y is less than or equal to 0.0 |
| consequent |
|
|
| (=> (instance ?IM IceMachine) (hasPurpose ?IM (exists (?PROC ?ICE) (and (instrument ?PROC ?IM) (result ?PROC ?ICE) (instance ?ICE Ice))))) |
Mid-level-ontology.kif 27819-27826 | If X is an instance of ice machine, then X has the purpose there exist Y, Z such that X is an instrument for Y, Z is a result of Y, and Z is an instance of ice |
| (=> (instance ?BERG Iceberg) (exists (?PART ?WATER) (and (instance ?PART Ice) (most ?PART ?BERG) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 6284-6291 | If X is an instance of iceberg, then there exist Y, Z such that Y is an instance of ice, Y is most of X, Z is an instance of body of water, and Z covers Y |
| (=> (instance ?SNOW Snowing) (exists (?CLTN ?I) (and (instance ?CLTN CollectionOfObjects) (instance ?I Ice) (attribute ?I MonoCrystalline) (member ?I ?CLTN) (objectTransferred ?SNOW ?CLTN)))) |
Weather.kif 1821-1829 | If X is an instance of snowing, then there exist Y, Z such that Y is an instance of collection, Z is an instance of ice, mono crystalline is an attribute of Z, Z is a member of Y, and the object transferred in X is Y |
| (=> (instance ?ICING Icing) (exists (?ICE ?OBJ) (and (instance ?ICE Ice) (attribute ?ICE PolyCrystalline) (patient ?ICING ?ICE) (instance ?OBJ Object) (attribute ?OBJ Solid) (destination ?ICING ?OBJ) (meetsSpatially ?ICE ?OBJ)))) |
Weather.kif 3781-3791 | If X is an instance of icing, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of ice (3) poly crystalline is an attribute of Y (4) Y is a patient of X (5) Z is an instance of object (6) solid is an attribute of Z (7) X ends up at Z (8) Y meets Z |
| (=> (instance ?FROST Frosting) (exists (?ICE ?OBJ) (and (instance ?ICE Ice) (attribute ?ICE MonoCrystalline) (patient ?FROST ?ICE) (instance ?OBJ Object) (attribute ?OBJ Solid) (destination ?FROST ?OBJ) (meetsSpatially ?FROST ?OBJ)))) |
Weather.kif 4050-4060 | If X is an instance of frosting, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of ice (3) mono crystalline is an attribute of Y (4) Y is a patient of X (5) Z is an instance of object (6) solid is an attribute of Z (7) X ends up at Z (8) X meets Z |
|