Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ice
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
-------------------------


(documentation Ice EnglishLanguage "Water that has the PhysicalState of Solid.") Mid-level-ontology.kif 9750-9750
(externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/7/74/Ice_crystals_at_refrigerator_window.JPG") pictureList.kif 2231-2231
(externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/c/c2/SnowflakesWilsonBentley.jpg") pictureList.kif 1811-1811
(externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/c/cf/Icicles.jpg") pictureList.kif 2232-2232
(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 9749-9749 Ice is a subclass of water

appearance as argument number 2
-------------------------


(subclass Hailstone Ice) Weather.kif 3054-3054 Hailstone is a subclass of ice
(subclass Iceberg Ice) Geography.kif 4791-4791 Iceberg is a subclass of ice
(subclass SeaIce Ice) Geography.kif 6004-6004 Sea ice is a subclass of ice
(subclass Snow Ice) Weather.kif 2977-2977 Snow is a subclass of ice
(termFormat ChineseLanguage Ice "冰") domainEnglishFormat.kif 29143-29143 Snow is a subclass of ice
(termFormat ChineseTraditionalLanguage Ice "冰") domainEnglishFormat.kif 29142-29142 Snow is a subclass of ice
(termFormat EnglishLanguage Ice "ice") domainEnglishFormat.kif 29141-29141 Snow is a subclass of ice

antecedent
-------------------------


(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))
Mid-level-ontology.kif 9752-9756 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
(=>
    (and
        (instance ?ICE Ice)
        (measure ?ICE
            (MeasureFn ?NUMBER CelsiusDegree)))
    (lessThanOrEqualTo ?NUMBER 0.0))
Mid-level-ontology.kif 9758-9762

consequent
-------------------------


(=>
    (instance ?BERG Iceberg)
    (exists (?PART ?WATER)
        (and
            (instance ?PART Ice)
            (most ?PART ?BERG)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 4811-4818
(=>
    (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 2764-2774
(=>
    (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 2496-2506
(=>
    (instance ?IM IceMachine)
    (hasPurpose ?IM
        (exists (?PROC ?ICE)
            (and
                (instrument ?PROC ?IM)
                (result ?PROC ?ICE)
                (instance ?ICE Ice)))))
Mid-level-ontology.kif 26635-26642
(=>
    (instance ?SNOW Snowing)
    (exists (?CLTN ?I)
        (and
            (instance ?CLTN Collection)
            (instance ?I Ice)
            (attribute ?I MonoCrystalline)
            (member ?I ?CLTN)
            (objectTransferred ?SNOW ?CLTN))))
Weather.kif 1125-1133


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners