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. chinese_format.kif 3362-3363
No TPTP formula. May not be expressible in strict first order. Merge.kif 14047-14048
No TPTP formula. May not be expressible in strict first order. pictureList.kif 83-83
No TPTP formula. May not be expressible in strict first order. Merge.kif 14046-14046 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 2733-2733 Freshwater is a subclass of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 2746-2746 Groundwater is a subclass of water
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8583-8583 Ice is a subclass of water
No TPTP formula. May not be expressible in strict first order. Weather.kif 2962-2962 Rain is a subclass of water
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25036-25036 Steam is a subclass of water
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 961-961
No TPTP formula. May not be expressible in strict first order. english_format.kif 1129-1129

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1090-1095
No TPTP formula. May not be expressible in strict first order. Geography.kif 2564-2570
No TPTP formula. May not be expressible in strict first order. Cars.kif 1219-1228
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26201-26209
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24661-24671
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8389-8398

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8586-8590 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 9162-9174
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4472-4477
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8381-8387
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4009-4015
No TPTP formula. May not be expressible in strict first order. Merge.kif 14157-14162
No TPTP formula. May not be expressible in strict first order. Geography.kif 2512-2520
No TPTP formula. May not be expressible in strict first order. Geography.kif 2498-2510
No TPTP formula. May not be expressible in strict first order. Merge.kif 13877-13884
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10432-10439
No TPTP formula. May not be expressible in strict first order. Merge.kif 14509-14514
No TPTP formula. May not be expressible in strict first order. Merge.kif 14516-14529
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21001-21008
No TPTP formula. May not be expressible in strict first order. Weather.kif 2802-2814
No TPTP formula. May not be expressible in strict first order. Merge.kif 14312-14317
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28904-28912
No TPTP formula. May not be expressible in strict first order. Geography.kif 5901-5907
No TPTP formula. May not be expressible in strict first order. Cars.kif 2465-2467
No TPTP formula. May not be expressible in strict first order. Cars.kif 4988-4993
No TPTP formula. May not be expressible in strict first order. Merge.kif 11112-11117
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8419-8427
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5275-5282
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3163-3168
No TPTP formula. May not be expressible in strict first order. Merge.kif 11088-11093

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 3.0 is open source software produced by Articulate Software and its partners