|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3035-3035 | 布基纳法索法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3039-3039 | 布隆迪法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3043-3043 | 柬埔寨瑞尔 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3047-3047 | 喀麦隆法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2889-2889 | 加拿大元 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3051-3051 | 佛得角埃斯库多 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3055-3055 | 开曼群岛美元 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3059-3059 | 中非共和国法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3063-3063 | 乍得法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3067-3067 | 智利比索 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3071-3071 | 人民币 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3075-3075 | 哥伦比亚比索 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3079-3079 | 刚果法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3083-3083 | 哥斯达黎加结肠 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3087-3087 | 古巴比索 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3091-3091 | 塞浦路斯镑 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3095-3095 | 捷克克朗 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3099-3099 | 丹麦克朗 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3103-3103 | 吉布提法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3107-3107 | 多米尼加元 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3111-3111 | 多米尼加比索 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3115-3115 | 荷兰盾 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3119-3119 | Ecuadoran 糖 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3123-3123 | 埃及镑 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3127-3127 | 萨尔瓦多兰结肠 是 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