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 13256-13257
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 13255-13255 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 2670-2670 Freshwater is a subclass of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 2683-2683 Groundwater is a subclass of water
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8658-8658 Ice is a subclass of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 4431-4431 Iceberg is a subclass of water
No TPTP formula. May not be expressible in strict first order. Weather.kif 1499-1499 Rain is a subclass of water
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23627-23627 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 1134-1134

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 702-707
No TPTP formula. May not be expressible in strict first order. Geography.kif 2502-2508
No TPTP formula. May not be expressible in strict first order. Cars.kif 1224-1233
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25041-25049
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23260-23270
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8467-8476

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8661-8665 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 5057-5062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8459-8465
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4589-4595
No TPTP formula. May not be expressible in strict first order. Merge.kif 13366-13371
No TPTP formula. May not be expressible in strict first order. Geography.kif 2450-2458
No TPTP formula. May not be expressible in strict first order. Geography.kif 2436-2448
No TPTP formula. May not be expressible in strict first order. Merge.kif 13086-13093
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9367-9374
No TPTP formula. May not be expressible in strict first order. Merge.kif 13709-13714
No TPTP formula. May not be expressible in strict first order. Merge.kif 13716-13729
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19394-19401
No TPTP formula. May not be expressible in strict first order. Weather.kif 1311-1323
No TPTP formula. May not be expressible in strict first order. Merge.kif 13512-13517
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27719-27727
No TPTP formula. May not be expressible in strict first order. Geography.kif 5601-5607
No TPTP formula. May not be expressible in strict first order. Cars.kif 2452-2454
No TPTP formula. May not be expressible in strict first order. Cars.kif 4965-4970
No TPTP formula. May not be expressible in strict first order. Merge.kif 10484-10489
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8498-8505
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5826-5833
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3750-3755
No TPTP formula. May not be expressible in strict first order. Merge.kif 10460-10465
No TPTP formula. May not be expressible in strict first order. Weather.kif 669-681

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