|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3825-3825 | dependentGeopoliticalArea NorfolkIsland and Australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3827-3827 | dependentGeopoliticalArea NorthernMarianaIslands and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 756-756 | dependentGeopoliticalArea Palestine and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3829-3829 | dependentGeopoliticalArea PalmyraAtoll and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3831-3831 | dependentGeopoliticalArea PitcairnIslands and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3833-3833 | dependentGeopoliticalArea PuertoRico and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3834-3834 | dependentGeopoliticalArea Reunion and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3836-3836 | dependentGeopoliticalArea SaintHelena and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3838-3838 | dependentGeopoliticalArea SaintPierreAndMiquelon and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3840-3840 | dependentGeopoliticalArea SouthGeorgiaAndTheSouthSandwichIslands and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3842-3842 | dependentGeopoliticalArea Svalbard and Norway |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3844-3844 | dependentGeopoliticalArea Tokelau and NewZealand |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3846-3846 | dependentGeopoliticalArea TromelinIsland and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3848-3848 | dependentGeopoliticalArea TurksAndCaicosIslands and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3850-3850 | dependentGeopoliticalArea USVirginIslands and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3853-3853 | dependentGeopoliticalArea WakeIsland and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3855-3855 | dependentGeopoliticalArea WallisAndFutuna and France |
|
|
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