Ice - Sigma Knowledge base Browser

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 8634-8634
(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 8633-8633	Ice is a subclass of water

appearance as argument number 2

(subclass Hailstone Ice)	Weather.kif 2645-2645	Hailstone is a subclass of ice
(subclass Iceberg Ice)	Geography.kif 4431-4431	Iceberg is a subclass of ice
(subclass SeaIce Ice)	Geography.kif 5625-5625	Sea ice is a subclass of ice
(subclass Snow Ice)	Weather.kif 2568-2568	Snow is a subclass of ice
(termFormat ChineseLanguage Ice "冰")	domainEnglishFormat.kif 29113-29113
(termFormat ChineseTraditionalLanguage Ice "冰")	domainEnglishFormat.kif 29112-29112
(termFormat EnglishLanguage Ice "ice")	domainEnglishFormat.kif 29111-29111

antecedent

(<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid)))	Mid-level-ontology.kif 8636-8640	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 8642-8646	If a physical is an instance of ice and the measure of the physical is a real number celsius degree(s), then the real number is less than or equal to 0

consequent

(=> (instance ?BERG Iceberg) (exists (?PART ?WATER) (and (instance ?PART Ice) (most ?PART ?BERG) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 4448-4455	If an entity is an instance of iceberg, then there exist an object and another object such that the object is an instance of ice and the object is most of the entity and the other object is an instance of body of water and the other object covers the object
(=> (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 2355-2365	If a process is an instance of Frosting, then there exist an object and another object such that the object is an instance of ice and mono crystalline is an attribute of the object and the object is a patient of the process and the other object is an instance of object and solid is an attribute of the other object and the process ends up at the other object and the process meets the other object
(=> (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 2128-2138	If a process is an instance of icing, then there exist an object and another object such that the object is an instance of ice and poly crystalline is an attribute of the object and the object is a patient of the process and the other object is an instance of object and solid is an attribute of the other object and the process ends up at the other object and the object meets the other object
(=> (instance ?IM IceMachine) (hasPurpose ?IM (exists (?PROC ?ICE) (and (instrument ?PROC ?IM) (result ?PROC ?ICE) (instance ?ICE Ice)))))	Mid-level-ontology.kif 23459-23466	If a physical is an instance of ice machine, then the physical purpose there exist an entity and another entity such that the physical is an instrument for the entity and the other entity is a result of the entity and the other entity is an instance of ice
(=> (instance ?SNOW Snowing) (exists (?CLTN ?I) (and (instance ?CLTN Collection) (instance ?I Ice) (attribute ?I MonoCrystalline) (member ?I ?CLTN) (objectTransferred ?SNOW ?CLTN))))	Weather.kif 886-894	If a transfer is an instance of snowing, then there exist a collection and an object such that the collection is an instance of collection and the object is an instance of ice and mono crystalline is an attribute of the object and the object is a member of the collection and the object transferred in the transfer is the collection

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