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 8652-8652
(externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/7/74/Ice_crystals_at_refrigerator_window.JPG") pictureList.kif 2233-2233 "http://upload.wikimedia.org/wikipedia/commons/7/74/ Ice_crystals_at_refrigerator_window.JPG" is a URL depicting ice
(externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/c/c2/SnowflakesWilsonBentley.jpg") pictureList.kif 1813-1813 "http://upload.wikimedia.org/wikipedia/commons/c/c2/ SnowflakesWilsonBentley.jpg" is a URL depicting ice
(externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/c/cf/Icicles.jpg") pictureList.kif 2234-2234 "http://upload.wikimedia.org/wikipedia/commons/c/cf/ Icicles.jpg" is a URL depicting ice
(externalImage Ice "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cf/ Icicles.jpg/ 180px-Icicles.jpg") pictureList.kif 1145-1145 "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cf/ Icicles.jpg/ 180px-Icicles.jpg" is a URL depicting ice
(subclass Ice Water) Mid-level-ontology.kif 8651-8651 Ice is a subclass of water

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


(subclass Hailstone Ice) Weather.kif 1635-1635 Hailstone is a subclass of ice
(subclass SeaIce Ice) Weather.kif 968-968 Sea ice is a subclass of ice
(subclass Snow Ice) Weather.kif 1541-1541 Snow is a subclass of ice
(termFormat ChineseLanguage Ice "冰") domainEnglishFormat.kif 29023-29023 "冰" is the printable form of ice in ChineseLanguage
(termFormat ChineseTraditionalLanguage Ice "冰") domainEnglishFormat.kif 29022-29022 "冰" is the printable form of ice in ChineseTraditionalLanguage
(termFormat EnglishLanguage Ice "ice") domainEnglishFormat.kif 29021-29021 "ice" is the printable form of ice in english language

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners