|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3825-3825 | Norfolk island is a dependent of australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3827-3827 | Northern mariana islands is a dependent of united states |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 756-756 | Palestine is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3829-3829 | Palmyra atoll is a dependent of united states |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3831-3831 | Pitcairn islands is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3833-3833 | Puerto rico is a dependent of united states |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3834-3834 | Reunion is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3836-3836 | Saint helena is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3838-3838 | Saint pierre and miquelon is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3840-3840 | South georgia and the south sandwich islands is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3842-3842 | Svalbard is a dependent of norway |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3844-3844 | Tokelau is a dependent of new zealand |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3846-3846 | Tromelin island is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3848-3848 | Turks and caicos islands is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3850-3850 | US virgin islands is a dependent of united states |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3853-3853 | Wake island is a dependent of united states |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3855-3855 | Wallis and futuna is a dependent of 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