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 |
![]() |
![]() |