|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2559-2559 | Ashdod israel has name "Ashdod" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4172-4172 | Ashmore and cartier islands has name "Ashmore and Cartier Islands" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3549-3549 | Asia has name "Asia" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2561-2561 | Askelon israel has name "Askelon" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2563-2563 | Asmara eritrea has name "Asmara" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2565-2565 | Assam india has name "Assam" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2567-2567 | Aswan egypt has name "Aswan" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2569-2569 | Asyut egypt has name "Asyut" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2571-2571 | Athens greece has name "Athens" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4535-4535 | Atlantic ocean has name "Atlantic Ocean" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2573-2573 | Atrush iraq has name "Atrush" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2575-2575 | Atzmona gaza strip has name "Atzmona" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4195-4195 | Australia has name "Australia" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4018-4018 | Austria has name "Austria" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2577-2577 | Avnei hefetz israel has name "Avnei Hefetz" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2579-2579 | Ayacucho peru has name "Ayacucho" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4191-4191 | Azerbaijan has name "Azerbaijan" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2581-2581 | Azor israel has name "Azor" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2660-2660 | B kaot west bank has name "B'kaot" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2583-2583 | Bad vilbel germany has name "Bad Vilbel" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2585-2585 | Baghdad iraq has name "Baghdad" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2587-2587 | Bagre colombia has name "Bagre" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4088-4088 | The bahamas has name "Bahamas" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2589-2589 | Bahawalpur pakistan has name "Bahawalpur" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4001-4001 | Bahrain has name "Bahrain" |
| 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