MaritimeClaimArea
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1023-1026 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1021-1021 | Maritime claim area is a subclass of geographic area |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1132-1132 | Exclusive fishing zone is a subclass of maritime claim area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1164-1164 | Extended fishing zone is a subclass of maritime claim area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1030-1030 | Maritime contiguous zone is a subclass of maritime claim area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1099-1099 | Maritime exclusive economic zone is a subclass of maritime claim area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1057-1057 | Maritime shelf area is a subclass of maritime claim area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1196-1196 | Territorial sea is a subclass of maritime claim area |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36191-36191 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36190-36190 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36189-36189 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 977-977 | The number 2 argument of maritime claim type is a subclass of maritime claim area |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 924-932 |
|