No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3784-3784 |
dependentGeopoliticalArea Guam and UnitedStates |
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 |
geographicSubregion Guam and Oceania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3884-3884 |
Guam e' uma instancia de DependencyOrSpecialSovereigntyArea |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4246-4246 |
Guam e' uma instancia de Ilha |