|
|
  PalmyraAtoll
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3829-3829 | dependentGeopoliticalArea PalmyraAtoll and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3830-3830 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 650-650 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 691-691 | geographicSubregion PalmyraAtoll and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3908-3908 | PalmyraAtoll e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 653-653 | PalmyraAtoll e' uma instancia de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2624-2624 | PalmyraAtoll e' membro de UnitedStatesMinorOutlyingIslands |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4219-4219 | PalmyraAtoll se chama nome "Palmyra Atoll" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44160-44160 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44159-44159 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44158-44158 |
|
|
|
