|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2531-2531 | 名 "An Nuwaydirat" and 一個 nuwaydirat 巴林 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2533-2533 | 名 "Andean" and 安第斯西班牙 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4073-4073 | 名 "Andorra" and 安道爾 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2535-2535 | 名 "Angkor Wat " and 吳哥窟柬埔寨 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3955-3955 | 名 "Angola" and 安哥拉 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4085-4085 | 名 "Anguilla" and 安圭拉 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2537-2537 | 名 "Ankara" and 安卡拉土耳其 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2539-2539 | 名 "Antalya" and 安塔利亞土耳其 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3538-3538 | 名 "Antarctica" and 南極洲 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4086-4086 | 名 "Antigua and Barbuda" and 安提瓜和巴布達 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2541-2541 | 名 "Antioquia" and antioquia 哥倫比亞 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2543-2543 | 名 "Antwerp" and 安特衛普比利時 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2545-2545 | 名 "Apumirac" and apumirac 秘魯 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2547-2547 | 名 "Apure" and apure 委內瑞拉 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5095-5095 | 名 "Aral Sea" and 鹹海 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2549-2549 | 名 "Arauca" and 阿勞卡哥倫比亞 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4635-4635 | 名 "Arctic Ocean" and 北冰洋 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3562-3562 | 名 "Arctic" and 北極地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4133-4133 | 名 "Argentina" and 阿根廷 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2551-2551 | 名 "Argun" and argun 俄羅斯 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2553-2553 | 名 "Ariel" and 阿里爾西岸 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2555-2555 | 名 "Armagh" and 阿爾馬北愛爾蘭 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4190-4190 | 名 "Armenia" and 亞美尼亞 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4087-4087 | 名 "Aruba" and 阿魯巴 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2557-2557 | 名 "Arzew" and 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