|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2559-2559 | 名 "Ashdod" and 阿什多德以色列 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4172-4172 | 名 "Ashmore and Cartier Islands" and 阿什莫爾和卡地亞島嶼 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3549-3549 | 名 "Asia" and 亞洲 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2561-2561 | 名 "Askelon" and 阿什克倫以色列 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2563-2563 | 名 "Asmara" and 阿斯馬拉厄立特里亞 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2565-2565 | 名 "Assam" and 阿薩姆邦印度 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2567-2567 | 名 "Aswan" and 阿斯旺埃及 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2569-2569 | 名 "Asyut" and asyut埃及 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2571-2571 | 名 "Athens" and 希臘雅典 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4535-4535 | 名 "Atlantic Ocean" and 大西洋 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2573-2573 | 名 "Atrush" and atrush 伊拉克 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2575-2575 | 名 "Atzmona" and atzmona 加沙地帶 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4195-4195 | 名 "Australia" and 澳大利亞 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4018-4018 | 名 "Austria" and 奧地利 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2577-2577 | 名 "Avnei Hefetz" and avnei hefetz 以色列 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2579-2579 | 名 "Ayacucho" and ayacucho 秘魯 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4191-4191 | 名 "Azerbaijan" and 阿塞拜疆 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2581-2581 | 名 "Azor" and 以色列阿佐爾 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2660-2660 | 名 "B'kaot" and B kaot 西岸 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2583-2583 | 名 "Bad Vilbel" and 德國 bad vilbel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2585-2585 | 名 "Baghdad" and 伊拉克巴格達 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2587-2587 | 名 "Bagre" and 巴格里哥倫比亞 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4088-4088 | 名 "Bahamas" and 巴哈馬 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2589-2589 | 名 "Bahawalpur" and 巴哈瓦爾布爾巴基斯坦 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4001-4001 | 名 "Bahrain" and 巴林 |
| 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