|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2531-2531 | AnNuwaydiratBahrain s'appele nom "An Nuwaydirat" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2533-2533 | AndeanSpain s'appele nom "Andean" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4073-4073 | Andorra s'appele nom "Andorra" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2535-2535 | AngkorWatCambodia s'appele nom "Angkor Wat " |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3955-3955 | Angola s'appele nom "Angola" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4085-4085 | Anguilla s'appele nom "Anguilla" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2537-2537 | AnkaraTurkey s'appele nom "Ankara" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2539-2539 | AntalyaTurkey s'appele nom "Antalya" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3538-3538 | Antarctica s'appele nom "Antarctica" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4086-4086 | AntiguaAndBarbuda s'appele nom "Antigua and Barbuda" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2541-2541 | AntioquiaColombia s'appele nom "Antioquia" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2543-2543 | AntwerpBelgium s'appele nom "Antwerp" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2545-2545 | ApumiracPeru s'appele nom "Apumirac" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2547-2547 | ApureVenezuela s'appele nom "Apure" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5095-5095 | AralSea s'appele nom "Aral Sea" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2549-2549 | AraucaColombia s'appele nom "Arauca" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4635-4635 | ArcticOcean s'appele nom "Arctic Ocean" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3562-3562 | ArcticRegion s'appele nom "Arctic" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4133-4133 | Argentina s'appele nom "Argentina" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2551-2551 | ArgunRussia s'appele nom "Argun" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2553-2553 | ArielWestBank s'appele nom "Ariel" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2555-2555 | ArmaghNorthernIreland s'appele nom "Armagh" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4190-4190 | Armenia s'appele nom "Armenia" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4087-4087 | Aruba s'appele nom "Aruba" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2557-2557 | ArzewAlgeria s'appele nom "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