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. | Geography.kif 1031-1031 | Maritime contiguous zone is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1100-1100 | Maritime exclusive economic zone is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1133-1133 | Exclusive fishing zone is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1165-1165 | Extended fishing zone is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1197-1197 | Territorial sea is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4512-4512 | Ocean is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4757-4757 | Sea is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4944-4944 | Tide is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5086-5086 | Salt lake is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5123-5123 | Gulf is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5180-5180 | Estuary is a subclass of salt water area |