|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3880-3880 | Gibraltar est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3881-3881 | GloriosoIslands est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3882-3882 | Greenland est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3883-3883 | Guadeloupe est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3884-3884 | Guam est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3885-3885 | Guernsey est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3886-3886 | HeardIslandAndMcDonaldIslands est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3887-3887 | HongKong est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3888-3888 | HowlandIsland est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3889-3889 | IsleOfMan est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3890-3890 | JanMayenIsland est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3891-3891 | JarvisIsland est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3892-3892 | Jersey est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3893-3893 | JohnstonAtoll est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3894-3894 | JuanDeNovaIsland est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3895-3895 | KingmanReef est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3896-3896 | Macau est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3897-3897 | Martinique est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3898-3898 | Mayotte est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3899-3899 | MidwayIslands est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3900-3900 | Montserrat est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3901-3901 | NavassaIsland est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3902-3902 | NetherlandsAntilles est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3903-3903 | NewCaledonia est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3904-3904 | Niue est une instance 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