| SaltWaterArea(salt water area)
| | bathyal_district, bathyal_zone, briny, continental_slope, main |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14238-14238 | Salt water area is disjoint from fresh water area |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1449-1450 | Salt water area is disjoint from fresh water area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14239-14240 | Salt water area is disjoint from fresh water area |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2518-2518 | Salt water area is disjoint from fresh water area |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2624-2624 | Salt water area is disjoint from fresh water area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14237-14237 | Salt water area is a subclass of water area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5235-5235 | Gulf of aden is an instance of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5243-5243 | Gulf of mexico is an instance of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5227-5227 | Gulf of oman is an instance of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4608-4608 | North atlantic ocean is an instance of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4640-4640 | North pacific ocean is an instance of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4654-4654 | Northeastern Pacific ocean is an instance of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4667-4667 | Northwestern Pacific Ocean is an instance of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5221-5221 | Persian gulf is an instance of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4621-4621 | South atlantic ocean is an instance of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4680-4680 | South pacific ocean is an instance of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5382-5382 | Strait of hormuz is an instance of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4567-4567 | World ocean is an instance of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5249-5249 | Estuary is a subclass of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1127-1127 | Exclusive fishing zone is a subclass of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1159-1159 | Extended fishing zone is a subclass of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5192-5192 | Gulf is a subclass of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1025-1025 | Maritime contiguous zone is a subclass of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1094-1094 | Maritime exclusive economic zone is a subclass of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4581-4581 | Ocean is a subclass of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5155-5155 | Salt lake is a subclass of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4826-4826 | Sea is a subclass of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1191-1191 | Territorial sea is a subclass of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5013-5013 | Tide is a subclass of salt water area |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 951-951 | Tide is a subclass of salt water area |
| 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 6181-6181 | The number 2 argument of seacoast is an instance of salt water area |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5308-5313 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4780-4789 | Open sea is an attribute of an object if and only if there exist a physical and a real number such that the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is the real number nautical mile(s) and the real number is greater than 5.0 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6195-6200 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5308-5313 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 937-945 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5207-5212 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2817-2822 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5256-5262 |
|
|
|
|