WaterArea(water area) | Bo_Hai, Canakkale_Bogazi, Charybdis, Cross-Florida_Waterway, Dardanelles, Hellespont, Inland_Passage, Inside_Passage, Mediterranean, Okeechobee_Waterway, Po_Hai, U.S._waters, United_States_waters, backwater, basin, body_of_water, catchment_area, catchment_basin, deep-sea, deep-water, detention_basin, ditch, drainage_area, drainage_basin, drink, eddy, estuarial, estuarine, flowage, maelstrom, mare_clausum, mare_liberum, marine, mid-water, neritic, oceanic, offing, offshore, pelagic, polynya, pool, reefy, retention_basin, river_basin, scour, shallow, shelfy, shelvy, shoal, shoaly... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1448-1448 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14121-14122 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8790-8790 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9808-9808 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14120-14120 | Water area is a subclass of geographic area |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14032-14032 | Geographic area is exhaustively partitioned into water area and land area |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 921-921 | Anchorage is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4491-4491 | Body of water is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14138-14138 | Fresh water area is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 917-917 | Harbor is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2028-2028 | Hydropower water area is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5341-5341 | Inland water system is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5655-5655 | River mouth is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5509-5509 | River system is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14133-14133 | Salt water area is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2937-2937 | Ship berth is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9039-9039 | Static water area is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9032-9032 | Stream water area is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5484-5484 | Stream water confluence is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1378-1378 | Surf zone is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4932-4932 | Water current is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5577-5577 | Waterway is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 950-950 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1107-1107 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 626-626 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 157-157 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 160-160 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2311-2311 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 578-578 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6169-6169 | The number 2 argument of shoreline is an instance of water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5559-5559 | The number 2 argument of flow current is an instance of water area |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2646-2646 | The number 1 argument of navigable for draft is an instance of water area |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2629-2629 | The number 1 argument of navigable for shipping tonnage is an instance of water area |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 975-975 | The number 1 argument of sea surface temperature is an instance of water area |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1524-1524 | The number 1 argument of significant wave height is an instance of water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5687-5687 | The number 1 argument of stream outfall is an instance of water area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17566-17566 | The number 1 argument of water depth is an instance of water area |
antecedent |
consequent |