Ice![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Ice EnglishLanguage "Water that has the PhysicalState of Solid.") | Mid-level-ontology.kif 8977-8977 | |
(externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/7/74/Ice_crystals_at_refrigerator_window.JPG") | pictureList.kif 2232-2232 | |
(externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/c/c2/SnowflakesWilsonBentley.jpg") | pictureList.kif 1812-1812 | |
(externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/c/cf/Icicles.jpg") | pictureList.kif 2233-2233 | |
(externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cf/ Icicles.jpg/ 180px-Icicles.jpg") | pictureList.kif 1144-1144 | |
(subclass Ice Water) | Mid-level-ontology.kif 8976-8976 | Ice e' uma sub-classe de Agua |
appearance as argument number 2 |
![]() |
(subclass Hailstone Ice) | Weather.kif 3072-3072 | Hailstone e' uma sub-classe de Ice |
(subclass Iceberg Ice) | Geography.kif 4722-4722 | Iceberg e' uma sub-classe de Ice |
(subclass SeaIce Ice) | Geography.kif 5935-5935 | SeaIce e' uma sub-classe de Ice |
(subclass Snow Ice) | Weather.kif 2995-2995 | Snow e' uma sub-classe de Ice |
(termFormat ChineseLanguage Ice "冰") | domainEnglishFormat.kif 29115-29115 | |
(termFormat ChineseTraditionalLanguage Ice "冰") | domainEnglishFormat.kif 29114-29114 | |
(termFormat EnglishLanguage Ice "ice") | domainEnglishFormat.kif 29113-29113 |
antecedent |
![]() |
(<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid))) |
Mid-level-ontology.kif 8979-8983 | Objeto e' uma instancia de Ice Objeto e' uma instancia de Agua Solid e' um atributo de Objeto |
(=> (and (instance ?ICE Ice) (measure ?ICE (MeasureFn ?NUMBER CelsiusDegree))) (lessThanOrEqualTo ?NUMBER 0.0)) |
Mid-level-ontology.kif 8985-8989 |
|
consequent |
![]() |
(=> (instance ?BERG Iceberg) (exists (?PART ?WATER) (and (instance ?PART Ice) (most ?PART ?BERG) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 4742-4749 | |
(=> (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 2782-2792 | |
(=> (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 2514-2524 | |
(=> (instance ?IM IceMachine) (hasPurpose ?IM (exists (?PROC ?ICE) (and (instrument ?PROC ?IM) (result ?PROC ?ICE) (instance ?ICE Ice))))) |
Mid-level-ontology.kif 25516-25523 | |
(=> (instance ?SNOW Snowing) (exists (?CLTN ?I) (and (instance ?CLTN Collection) (instance ?I Ice) (attribute ?I MonoCrystalline) (member ?I ?CLTN) (objectTransferred ?SNOW ?CLTN)))) |
Weather.kif 1141-1149 |
|
![]() |
![]() |