|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2531-2531 | An nuwaydirat bahrain has name "An Nuwaydirat" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2533-2533 | Andean spain has name "Andean" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4073-4073 | Andorra has name "Andorra" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2535-2535 | Angkor wat cambodia has name "Angkor Wat " |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3955-3955 | Angola has name "Angola" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4085-4085 | Anguilla has name "Anguilla" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2537-2537 | Ankara turkey has name "Ankara" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2539-2539 | Antalya turkey has name "Antalya" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3538-3538 | Antarctica has name "Antarctica" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4086-4086 | Antigua and barbuda has name "Antigua and Barbuda" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2541-2541 | Antioquia colombia has name "Antioquia" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2543-2543 | Antwerp belgium has name "Antwerp" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2545-2545 | Apumirac peru has name "Apumirac" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2547-2547 | Apure venezuela has name "Apure" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5095-5095 | Aral sea has name "Aral Sea" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2549-2549 | Arauca colombia has name "Arauca" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4635-4635 | Arctic ocean has name "Arctic Ocean" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3562-3562 | Arctic region has name "Arctic" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4133-4133 | Argentina has name "Argentina" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2551-2551 | Argun russia has name "Argun" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2553-2553 | Ariel west bank has name "Ariel" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2555-2555 | Armagh northern ireland has name "Armagh" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4190-4190 | Armenia has name "Armenia" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4087-4087 | Aruba has name "Aruba" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2557-2557 | Arzew algeria has name "Arzew" |
| 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