|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3776-3776 | Gibraltar is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3778-3778 | Glorioso islands is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3780-3780 | Greenland is a dependent of denmark |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3782-3782 | Guadeloupe is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3784-3784 | Guam is a dependent of united states |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3785-3785 | Guernsey is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3787-3787 | Heard island and mc donald islands is a dependent of australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3789-3789 | Hong kong is a dependent of china |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3791-3791 | Howland island is a dependent of united states |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3793-3793 | Isle of man is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3795-3795 | Jan mayen island is a dependent of norway |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3797-3797 | Jarvis island is a dependent of united states |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3799-3799 | Jersey is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3801-3801 | Johnston atoll is a dependent of united states |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3803-3803 | Juan de nova island is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3805-3805 | Kingman reef is a dependent of united states |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3807-3807 | Macau is a dependent of china |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3809-3809 | Martinique is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3811-3811 | Mayotte is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3813-3813 | Midway islands is a dependent of united states |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3815-3815 | Montserrat is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3817-3817 | Navassa island is a dependent of united states |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3819-3819 | Netherlands antilles is a dependent of netherlands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3821-3821 | New caledonia is a dependent of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3823-3823 | Niue is a dependent of new zealand |
| 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