No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3784-3784 |
Guam is a dependent of united states |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4247-4248 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 479-479 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 669-669 |
Guam is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3884-3884 |
Guam is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4246-4246 |
Guam is an instance of island |