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 13293-13294
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 13292-13292 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 8633-8633 Ice is a subclass of water
No TPTP formula. May not be expressible in strict first order. Weather.kif 1818-1818 Rain is a subclass of water
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23606-23606 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 25020-25028
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23239-23249
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8442-8451

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


No TPTP formula. May not be expressible in strict first order. 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
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 8434-8440
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 13403-13408
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 13123-13130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9342-9349
No TPTP formula. May not be expressible in strict first order. Merge.kif 13746-13751
No TPTP formula. May not be expressible in strict first order. Merge.kif 13753-13766
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19373-19380
No TPTP formula. May not be expressible in strict first order. Weather.kif 1658-1670
No TPTP formula. May not be expressible in strict first order. Merge.kif 13549-13554
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27700-27708
No TPTP formula. May not be expressible in strict first order. Geography.kif 5694-5700
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 4966-4971
No TPTP formula. May not be expressible in strict first order. Merge.kif 10527-10532
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8473-8480
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 10503-10508
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 3.0 is open source software produced by Articulate Software and its partners