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
-------------------------


s__documentation(s__Ice,s__EnglishLanguage,'"Water that has the PhysicalState of Solid."')

Mid-level-ontology.kif 8556-8556
s__externalImage(s__Ice,'"http://upload.wikimedia.org/wikipedia/commons/7/74/Ice_crystals_at_refrigerator_window.JPG"')

pictureList.kif 2233-2233
s__externalImage(s__Ice,'"http://upload.wikimedia.org/wikipedia/commons/c/c2/SnowflakesWilsonBentley.jpg"')

pictureList.kif 1813-1813
s__externalImage(s__Ice,'"http://upload.wikimedia.org/wikipedia/commons/c/cf/Icicles.jpg"')

pictureList.kif 2234-2234
s__externalImage(s__Ice,'"http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cf/ Icicles.jpg/ 180px-Icicles.jpg"')

pictureList.kif 1145-1145
s__instance(s__Water,s__Class)

s__instance(s__Ice,s__Class)

s__subclass(s__Ice,s__Water)

Mid-level-ontology.kif 8555-8555 Ice is a subclass of water

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


s__subclass(s__Hailstone,s__Ice)

s__instance(s__Hailstone,s__Class)

s__instance(s__Ice,s__Class)

Weather.kif 3065-3065 Hailstone is a subclass of ice
s__instance(s__Ice,s__Class)

s__instance(s__Iceberg,s__Class)

s__subclass(s__Iceberg,s__Ice)

Geography.kif 4516-4516 Iceberg is a subclass of ice
s__instance(s__SeaIce,s__Class)

s__instance(s__Ice,s__Class)

s__subclass(s__SeaIce,s__Ice)

Geography.kif 5717-5717 Sea ice is a subclass of ice
s__subclass(s__Snow,s__Ice)

s__instance(s__Ice,s__Class)

s__instance(s__Snow,s__Class)

Weather.kif 2988-2988 Snow is a subclass of ice
s__termFormat(s__ChineseLanguage,s__Ice,'"冰"')

domainEnglishFormat.kif 29106-29106
s__termFormat(s__ChineseTraditionalLanguage,s__Ice,'"冰"')

domainEnglishFormat.kif 29105-29105
s__termFormat(s__EnglishLanguage,s__Ice,'"ice"')

domainEnglishFormat.kif 29104-29104

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


( ! [V__ICE] :
   (((s__instance(V__ICE,s__Ice) =>
         (s__instance(V__ICE,s__Water) &
           s__attribute(V__ICE,s__Solid)))
       &
       ((s__instance(V__ICE,s__Water) &
           s__attribute(V__ICE,s__Solid))
         =>
         s__instance(V__ICE,s__Ice)))
     )
   )

Mid-level-ontology.kif 8558-8562 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
( ! [V__ICE,V__NUMBER] :
   ((s__instance(V__NUMBER,s__RealNumber) =>
       (((s__instance(V__ICE,s__Ice) &
             s__measure(V__ICE,s__MeasureFn(V__NUMBER,s__CelsiusDegree)))
         =>
         (s__lessThanOrEqualTo(V__NUMBER,n__0)))))
)
)

Mid-level-ontology.kif 8564-8568

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


( ! [V__BERG] :
   ((s__instance(V__BERG,s__Iceberg) =>
       (( ? [V__PART, V__WATER] :
           ((s__instance(V__PART,s__Ice) &
               s__most(V__PART,V__BERG)
             &
             s__instance(V__WATER,s__BodyOfWater) &
             s__covers(V__WATER,V__PART))))))
)
)

Geography.kif 4533-4540
( ! [V__FROST] :
   ((s__instance(V__FROST,s__Frosting) =>
       (( ? [V__ICE, V__OBJ] :
           ((s__instance(V__ICE,s__Ice) &
               s__attribute(V__ICE,s__MonoCrystalline) &
               s__patient(V__FROST,V__ICE)
             &
             s__instance(V__OBJ,s__Object) &
             s__attribute(V__OBJ,s__Solid) &
             s__destination(V__FROST,V__OBJ)
           &
           s__meetsSpatially(V__FROST,V__OBJ))))))
)
)

Weather.kif 2775-2785
( ! [V__ICING] :
   ((s__instance(V__ICING,s__Icing) =>
       (( ? [V__ICE, V__OBJ] :
           ((s__instance(V__ICE,s__Ice) &
               s__attribute(V__ICE,s__PolyCrystalline) &
               s__patient(V__ICING,V__ICE)
             &
             s__instance(V__OBJ,s__Object) &
             s__attribute(V__OBJ,s__Solid) &
             s__destination(V__ICING,V__OBJ)
           &
           s__meetsSpatially(V__ICE,V__OBJ))))))
)
)

Weather.kif 2507-2517
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24725-24732
( ! [V__SNOW] :
   ((s__instance(V__SNOW,s__Snowing) =>
       (( ? [V__CLTN, V__I] :
           ((s__instance(V__CLTN,s__Collection) &
               s__instance(V__I,s__Ice) &
               s__attribute(V__I,s__MonoCrystalline) &
               s__member(V__I,V__CLTN)
             &
             s__objectTransferred(V__SNOW,V__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