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