HowlandIsland
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3791-3791 | Howland island is a dependent of united states |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3792-3792 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 507-507 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 670-670 | Howland island is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3888-3888 | Howland island is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 644-644 | Howland island is an instance of land area |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2619-2619 | Howland 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 4202-4202 | Howland island has name "Howland Island" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28791-28791 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28790-28790 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28789-28789 |