|
|
  JarvisIsland
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3797-3797 | dependentGeopoliticalArea JarvisIsland and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3798-3798 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 528-528 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 671-671 | geographicSubregion JarvisIsland and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3891-3891 | JarvisIsland est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 645-645 | JarvisIsland est une instance de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2620-2620 | JarvisIsland est un membre de UnitedStatesMinorOutlyingIslands |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4203-4203 | JarvisIsland s'appele nom "Jarvis Island" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31525-31525 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31524-31524 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31523-31523 |
|
|
|
