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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8651-8651
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2233-2233	"http://upload.wikimedia.org/wikipedia/commons/7/74/ Ice_crystals_at_refrigerator_window.JPG" is a URL depicting ice
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1813-1813	"http://upload.wikimedia.org/wikipedia/commons/c/c2/ SnowflakesWilsonBentley.jpg" is a URL depicting ice
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2234-2234	"http://upload.wikimedia.org/wikipedia/commons/c/cf/ Icicles.jpg" is a URL depicting ice
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1145-1145	"http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cf/ Icicles.jpg/ 180px-Icicles.jpg" is a URL depicting ice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8650-8650	Ice is a subclass of water

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1539-1539	Hailstone is a subclass of ice
No TPTP formula. May not be expressible in strict first order.	Weather.kif 891-891	Sea ice is a subclass of ice
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1445-1445	Snow is a subclass of ice
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29023-29023	"冰" is the printable form of ice in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29022-29022	"冰" is the printable form of ice in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29021-29021	"ice" is the printable form of ice in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8653-8657	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8659-8663	If an object is an instance of ice and the measure of the object is a real number celsius degree(s), then the real number is less than or equal to 0

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1188-1198	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 936-946	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23416-23423	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 753-761	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners