|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3776-3776 | dependentGeopoliticalArea Gibraltar and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3778-3778 | dependentGeopoliticalArea GloriosoIslands and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3780-3780 | dependentGeopoliticalArea Greenland and Denmark |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3782-3782 | dependentGeopoliticalArea Guadeloupe and France |
| 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 3785-3785 | dependentGeopoliticalArea Guernsey and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3787-3787 | dependentGeopoliticalArea HeardIslandAndMcDonaldIslands and Australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3789-3789 | dependentGeopoliticalArea HongKong and China |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3791-3791 | dependentGeopoliticalArea HowlandIsland and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3793-3793 | dependentGeopoliticalArea IsleOfMan and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3795-3795 | dependentGeopoliticalArea JanMayenIsland and Norway |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3797-3797 | dependentGeopoliticalArea JarvisIsland and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3799-3799 | dependentGeopoliticalArea Jersey and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3801-3801 | dependentGeopoliticalArea JohnstonAtoll and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3803-3803 | dependentGeopoliticalArea JuanDeNovaIsland and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3805-3805 | dependentGeopoliticalArea KingmanReef and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3807-3807 | dependentGeopoliticalArea Macau and China |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3809-3809 | dependentGeopoliticalArea Martinique and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3811-3811 | dependentGeopoliticalArea Mayotte and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3813-3813 | dependentGeopoliticalArea MidwayIslands and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3815-3815 | dependentGeopoliticalArea Montserrat and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3817-3817 | dependentGeopoliticalArea NavassaIsland and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3819-3819 | dependentGeopoliticalArea NetherlandsAntilles and Netherlands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3821-3821 | dependentGeopoliticalArea NewCaledonia and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3823-3823 | dependentGeopoliticalArea Niue and NewZealand |
| 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