|
|
   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 | MaritimeClaimArea e' uma sub-classe de Area Geografica |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1132-1132 | ExclusiveFishingZone e' uma sub-classe de MaritimeClaimArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1164-1164 | ExtendedFishingZone e' uma sub-classe de MaritimeClaimArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1030-1030 | MaritimeContiguousZone e' uma sub-classe de MaritimeClaimArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1099-1099 | MaritimeExclusiveEconomicZone e' uma sub-classe de MaritimeClaimArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1057-1057 | MaritimeShelfArea e' uma sub-classe de MaritimeClaimArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1196-1196 | TerritorialSea e' uma sub-classe de MaritimeClaimArea |
| 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 | O argumento numero 2 de maritimeClaimType e' uma sub-classe de MaritimeClaimArea |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 998-1003 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 983-987 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 989-996 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 924-932 |
|
|
|
|