|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3159-3159 | 歐洲貨幣聯盟 是 "EMU" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3210-3210 | 歐洲航太局 是 "ESA" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3217-3217 | 歐洲聯盟 是 "EU" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3228-3228 | 糧食及農業組織 是 "FAO" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3235-3235 | 法郎區 是 "FZ" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3285-3285 | 10人小組 是 "G-10" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3298-3298 | 11人小組 是 "G-11" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3304-3304 | 15人小組 是 "G-15" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3314-3314 | 24人小組 是 "G-24" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3241-3241 | 3人小組 是 "G-3" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3247-3247 | 5人組 是 "G-5" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3253-3253 | 6人小組 是 "G-6" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3260-3260 | 7人小組 是 "G-7" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3324-3324 | 77人小組 是 "G-77" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3270-3270 | 8人小組 是 "G-8" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3280-3280 | 9人小組 是 "G-9" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3330-3330 | 海灣合作委員會 是 "GCC" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 840-840 | GraphicalUserInterface 是 "GUI" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3346-3346 | 美洲開發銀行 是 "IADB" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3370-3370 | 國際原子能機構 是 "IAEA" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3377-3377 | 國際重建和發展銀行 是 "IBRD" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3392-3392 | 國際民航組織 是 "ICAO" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3384-3384 | 國際商會 是 "ICC" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3406-3406 | 國際自由工會聯合會 是 "ICFTU" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3413-3413 | 國際法院 是 "ICJ" 的簡稱 |
| 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