Ice
|
|
appearance as argument number 1 |
(documentation Ice EnglishLanguage "Water that has the PhysicalState of Solid.") | Mid-level-ontology.kif 8976-8976 | |
(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 8975-8975 | Ice è una sottoclasse di Acqua |
appearance as argument number 2 |
(subclass Hailstone Ice) | Weather.kif 3068-3068 | Hailstone è una sottoclasse di Ice |
(subclass Iceberg Ice) | Geography.kif 4722-4722 | Iceberg è una sottoclasse di Ice |
(subclass SeaIce Ice) | Geography.kif 5935-5935 | SeaIce è una sottoclasse di Ice |
(subclass Snow Ice) | Weather.kif 2991-2991 | Snow è una sottoclasse di 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 8978-8982 | Oggetto è un' istanza di Ice Oggetto è un' istanza di Acqua attribute Oggetto and Solid |
(=> (and (instance ?ICE Ice) (measure ?ICE (MeasureFn ?NUMBER CelsiusDegree))) (lessThanOrEqualTo ?NUMBER 0.0)) |
Mid-level-ontology.kif 8984-8988 |
|
consequent |