|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3215-3215 | 伊朗里亚尔 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3219-3219 | 伊拉克第纳尔 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3223-3223 | 爱尔兰镑 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3227-3227 | 以色列谢克尔 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2898-2898 | 意大利里拉 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3231-3231 | 象牙海岸法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3235-3235 | 牙买加元 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2901-2901 | 日圆 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3239-3239 | 约旦第纳尔 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3243-3243 | 哈萨克斯坦坚戈 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3247-3247 | 肯尼亚先令 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3251-3251 | 基里巴斯元 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3255-3255 | 科威特第纳尔 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3259-3259 | 吉尔吉斯斯坦索姆 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3263-3263 | 老天基普 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3267-3267 | 拉脱维亚拉特 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3271-3271 | 黎巴嫩镑 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3275-3275 | 莱索托洛蒂 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3279-3279 | 利比里亚元 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3283-3283 | 利比亚第纳尔 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3287-3287 | 立陶宛立特 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3291-3291 | 卢森堡法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3295-3295 | 澳门帕塔卡 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3299-3299 | 马达加斯加法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3303-3303 | Malawian 克瓦查 是 UnitOfCurrency 的 instance |
| 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