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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Ice
Ice

appearance as argument number 1
-------------------------


(documentation Ice EnglishLanguage "Water that has the PhysicalState of Solid.") Mid-level-ontology.kif 10183-10183
(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 10182-10182

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


(subclass Hailstone Ice) Weather.kif 3902-3902
(subclass Iceberg Ice) Geography.kif 4962-4962
(subclass SeaIce Ice) Geography.kif 6238-6238
(subclass Snow Ice) Weather.kif 3825-3825
(termFormat ChineseLanguage Ice "冰") domainEnglishFormat.kif 29126-29126
(termFormat ChineseTraditionalLanguage Ice "冰") domainEnglishFormat.kif 29125-29125
(termFormat EnglishLanguage Ice "ice") domainEnglishFormat.kif 29124-29124

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


(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))
Mid-level-ontology.kif 10185-10189
(=>
    (and
        (instance ?ICE Ice)
        (measure ?ICE
            (MeasureFn ?NUMBER CelsiusDegree)))
    (lessThanOrEqualTo ?NUMBER 0.0))
Mid-level-ontology.kif 10191-10195

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


(=>
    (instance ?BERG Iceberg)
    (exists (?PART ?WATER)
        (and
            (instance ?PART Ice)
            (most ?PART ?BERG)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 4982-4989
(=>
    (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 3612-3622
(=>
    (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 3343-3353
(=>
    (instance ?IM IceMachine)
    (hasPurpose ?IM
        (exists (?PROC ?ICE)
            (and
                (instrument ?PROC ?IM)
                (result ?PROC ?ICE)
                (instance ?ICE Ice)))))
Mid-level-ontology.kif 27178-27185
(=>
    (instance ?SNOW Snowing)
    (exists (?CLTN ?I)
        (and
            (instance ?CLTN Collection)
            (instance ?I Ice)
            (attribute ?I MonoCrystalline)
            (member ?I ?CLTN)
            (objectTransferred ?SNOW ?CLTN))))
Weather.kif 1376-1384


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