| 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 | |
| (externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/c/c2/SnowflakesWilsonBentley.jpg") | pictureList.kif 1813-1813 | |
| (externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/c/cf/Icicles.jpg") | pictureList.kif 2234-2234 | |
| (externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cf/ Icicles.jpg/ 180px-Icicles.jpg") | pictureList.kif 1145-1145 | |
| (subclass Ice Water) | Mid-level-ontology.kif 8651-8651 |
| appearance as argument number 2 |
|
|
| (subclass Hailstone Ice) | Weather.kif 1635-1635 | |
| (subclass SeaIce Ice) | Weather.kif 968-968 | |
| (subclass Snow Ice) | Weather.kif 1541-1541 | |
| (termFormat ChineseLanguage Ice "冰") | domainEnglishFormat.kif 29023-29023 | |
| (termFormat ChineseTraditionalLanguage Ice "冰") | domainEnglishFormat.kif 29022-29022 | |
| (termFormat EnglishLanguage Ice "ice") | domainEnglishFormat.kif 29021-29021 |
| antecedent |
|
|
| (<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid))) |
Mid-level-ontology.kif 8654-8658 | |
| (=> (and (instance ?ICE Ice) (measure ?ICE (MeasureFn ?NUMBER CelsiusDegree))) (lessThanOrEqualTo ?NUMBER 0)) |
Mid-level-ontology.kif 8660-8664 |
| consequent |
|
|
| (=> (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 1285-1295 | |
| (=> (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 1033-1043 | |
| (=> (instance ?IM IceMachine) (hasPurpose ?IM (exists (?PROC ?ICE) (and (instrument ?PROC ?IM) (result ?PROC ?ICE) (instance ?ICE Ice))))) |
Mid-level-ontology.kif 23416-23423 | |
| (=> (instance ?SNOW Snowing) (exists (?CLTN ?I) (and (instance ?CLTN Collection) (instance ?I Ice) (attribute ?I MonoCrystalline) (member ?I ?CLTN) (objectTransferred ?SNOW ?CLTN)))) |
Weather.kif 752-760 |
|
|
|