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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ice

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 8626-8626
(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 8625-8625 Ice is a subclass of water

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


(subclass Hailstone Ice) Weather.kif 3071-3071 Hailstone is a subclass of ice
(subclass Iceberg Ice) Geography.kif 4620-4620 Iceberg is a subclass of ice
(subclass SeaIce Ice) Geography.kif 5832-5832 Sea ice is a subclass of ice
(subclass Snow Ice) Weather.kif 2994-2994 Snow is a subclass of ice
(termFormat ChineseLanguage Ice "冰") domainEnglishFormat.kif 29106-29106
(termFormat ChineseTraditionalLanguage Ice "冰") domainEnglishFormat.kif 29105-29105
(termFormat EnglishLanguage Ice "ice") domainEnglishFormat.kif 29104-29104

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


(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))
Mid-level-ontology.kif 8628-8632 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 8634-8638

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


(=>
    (instance ?BERG Iceberg)
    (exists (?PART ?WATER)
        (and
            (instance ?PART Ice)
            (most ?PART ?BERG)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 4640-4647
(=>
    (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 2781-2791
(=>
    (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 2513-2523
(=>
    (instance ?IM IceMachine)
    (hasPurpose ?IM
        (exists (?PROC ?ICE)
            (and
                (instrument ?PROC ?IM)
                (result ?PROC ?ICE)
                (instance ?ICE Ice)))))
Mid-level-ontology.kif 24987-24994
(=>
    (instance ?SNOW Snowing)
    (exists (?CLTN ?I)
        (and
            (instance ?CLTN Collection)
            (instance ?I Ice)
            (attribute ?I MonoCrystalline)
            (member ?I ?CLTN)
            (objectTransferred ?SNOW ?CLTN))))
Weather.kif 1140-1148


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

Show without tree


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