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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Water
Water(water)
H2O, Vichy_water, aquatic, aqueous, aquifer, bath_water, bilge, bilge_water, bottled_water, branch_water, brine, carbonated_water, club_soda, corn_snow, deuterium_oxide, dew, dewdrop, dishwater, distilled_water, drinking_water, floodhead, fresh, glacial, hail, heavy_water, holy_water, ice_cube, ice_shelf, ice_water, meltwater, mineral_water, rain, rainwater, sea_spray, sedimentary, seltzer, shelf_ice, slush, snow_bank, snowbank, soda_water, soft_water, sparkling_water, spindrift, spoondrift, spray, spring_water, sugar_water, sweet, tap_water...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14338-14339
No TPTP formula. May not be expressible in strict first order. Merge.kif 14336-14337
No TPTP formula. May not be expressible in strict first order. pictureList.kif 83-83 "http://upload.wikimedia.org/wikipedia/commons/2/24/ Drop_of_water_2003_03.jpg" is a URL depicting water
No TPTP formula. May not be expressible in strict first order. Merge.kif 14335-14335 Water is a subclass of compound substance

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2658-2658 Freshwater is a subclass of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 2671-2671 Groundwater is a subclass of water
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8649-8649 Ice is a subclass of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 4417-4417 Iceberg is a subclass of water
No TPTP formula. May not be expressible in strict first order. Weather.kif 1403-1403 Rain is a subclass of water
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23562-23562 Steam is a subclass of water
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 961-961 "水" is the printable form of water in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 949-949 "water" is the printable form of water in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 950-950 "水" is the printable form of water in japanese language

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 703-708
No TPTP formula. May not be expressible in strict first order. Geography.kif 2490-2496
No TPTP formula. May not be expressible in strict first order. Cars.kif 1223-1232
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24976-24984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23195-23205
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8458-8467

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8652-8656 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. naics.kif 954-977
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5056-5061
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8450-8456
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4588-4594
No TPTP formula. May not be expressible in strict first order. Merge.kif 14470-14475
No TPTP formula. May not be expressible in strict first order. Geography.kif 2438-2446
No TPTP formula. May not be expressible in strict first order. Geography.kif 2424-2436
No TPTP formula. May not be expressible in strict first order. Merge.kif 14135-14142
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9358-9365
No TPTP formula. May not be expressible in strict first order. Merge.kif 14898-14903
No TPTP formula. May not be expressible in strict first order. Merge.kif 14905-14918
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19329-19336
No TPTP formula. May not be expressible in strict first order. Weather.kif 1214-1227
No TPTP formula. May not be expressible in strict first order. Merge.kif 14649-14654
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27662-27670
No TPTP formula. May not be expressible in strict first order. Geography.kif 5586-5592
No TPTP formula. May not be expressible in strict first order. Cars.kif 2451-2453
No TPTP formula. May not be expressible in strict first order. Cars.kif 4956-4961
No TPTP formula. May not be expressible in strict first order. Merge.kif 11215-11220
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8489-8496
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5820-5827
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3748-3753
No TPTP formula. May not be expressible in strict first order. Merge.kif 11189-11194
No TPTP formula. May not be expressible in strict first order. Weather.kif 670-682

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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