No TPTP formula. May not be expressible in strict first order. | Geography.kif 6067-6067 | Submerged land area is a subclass of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1058-1058 | Maritime shelf area is a subclass of submerged land area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6081-6081 | Continental shelf is a subclass of submerged land area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6088-6088 | Continental margin is a subclass of submerged land area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6104-6104 | Seabed area is a subclass of submerged land area |