|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3215-3215 | 例 伊朗里亞爾 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3219-3219 | 例 伊拉克第納爾 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3223-3223 | 例 愛爾蘭鎊 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3227-3227 | 例 以色列謝克爾 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2898-2898 | 例 意大利里拉 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3231-3231 | 例 象牙海岸法郎 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3235-3235 | 例 牙買加元 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2901-2901 | 例 日圓 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3239-3239 | 例 約旦第納爾 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3243-3243 | 例 哈薩克斯坦堅戈 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3247-3247 | 例 肯尼亞先令 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3251-3251 | 例 基里巴斯元 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3255-3255 | 例 科威特第納爾 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3259-3259 | 例 吉爾吉斯斯坦索姆 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3263-3263 | 例 老天基普 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3267-3267 | 例 拉脫維亞拉特 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3271-3271 | 例 黎巴嫩鎊 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3275-3275 | 例 萊索托洛蒂 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3279-3279 | 例 利比里亞元 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3283-3283 | 例 利比亞第納爾 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3287-3287 | 例 立陶宛立特 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3291-3291 | 例 盧森堡法郎 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3295-3295 | 例 澳門帕塔卡 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3299-3299 | 例 馬達加斯加法郎 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3303-3303 | 例 malawian 克瓦查 and UnitOfCurrency |
| 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