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 8554-8554
(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 8553-8553

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


(subclass Hailstone Ice) Weather.kif 3067-3067
(subclass Iceberg Ice) Geography.kif 4541-4541
(subclass SeaIce Ice) Geography.kif 5742-5742
(subclass Snow Ice) Weather.kif 2990-2990
(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 8556-8560
(=>
    (and
        (instance ?ICE Ice)
        (measure ?ICE
            (MeasureFn ?NUMBER CelsiusDegree)))
    (lessThanOrEqualTo ?NUMBER 0))
Mid-level-ontology.kif 8562-8566

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


(=>
    (instance ?BERG Iceberg)
    (exists (?PART ?WATER)
        (and
            (instance ?PART Ice)
            (most ?PART ?BERG)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 4558-4565
(=>
    (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 2777-2787
(=>
    (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 2509-2519
(=>
    (instance ?IM IceMachine)
    (hasPurpose ?IM
        (exists (?PROC ?ICE)
            (and
                (instrument ?PROC ?IM)
                (result ?PROC ?ICE)
                (instance ?ICE Ice)))))
Mid-level-ontology.kif 24843-24850
(=>
    (instance ?SNOW Snowing)
    (exists (?CLTN ?I)
        (and
            (instance ?CLTN Collection)
            (instance ?I Ice)
            (attribute ?I MonoCrystalline)
            (member ?I ?CLTN)
            (objectTransferred ?SNOW ?CLTN))))
Weather.kif 1141-1149


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