JarvisIsland(jarvis island) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3797-3797 | Jarvis island is a dependent of united states |
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 | Jarvis island is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3891-3891 | Jarvis island is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 645-645 | Jarvis island is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2620-2620 | Jarvis island is a member of United states minor outlying islands |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4203-4203 | Jarvis island has name "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 |