|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3880-3880 | Gibraltar e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3881-3881 | GloriosoIslands e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3882-3882 | Greenland e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3883-3883 | Guadeloupe e' uma instancia de DependencyOrSpecialSovereigntyArea |
| 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 3885-3885 | Guernsey e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3886-3886 | HeardIslandAndMcDonaldIslands e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3887-3887 | HongKong e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3888-3888 | HowlandIsland e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3889-3889 | IsleOfMan e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3890-3890 | JanMayenIsland e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3891-3891 | JarvisIsland e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3892-3892 | Jersey e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3893-3893 | JohnstonAtoll e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3894-3894 | JuanDeNovaIsland e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3895-3895 | KingmanReef e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3896-3896 | Macau e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3897-3897 | Martinique e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3898-3898 | Mayotte e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3899-3899 | MidwayIslands e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3900-3900 | Montserrat e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3901-3901 | NavassaIsland e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3902-3902 | NetherlandsAntilles e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3903-3903 | NewCaledonia e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3904-3904 | Niue e' uma instancia de DependencyOrSpecialSovereigntyArea |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners