|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3035-3035 | 例 布基納法索法郎 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3039-3039 | 例 布隆迪法郎 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3043-3043 | 例 柬埔寨瑞爾 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3047-3047 | 例 喀麥隆法郎 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2889-2889 | 例 加拿大元 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3051-3051 | 例 佛得角埃斯庫多 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3055-3055 | 例 開曼群島美元 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3059-3059 | 例 中非共和國法郎 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3063-3063 | 例 乍得法郎 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3067-3067 | 例 智利比索 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3071-3071 | 例 人民幣 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3075-3075 | 例 哥倫比亞比索 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3079-3079 | 例 剛果法郎 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3083-3083 | 例 哥斯達黎加結腸 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3087-3087 | 例 古巴比索 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3091-3091 | 例 塞浦路斯鎊 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3095-3095 | 例 捷克克朗 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3099-3099 | 例 丹麥克朗 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3103-3103 | 例 吉布提法郎 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3107-3107 | 例 多米尼加元 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3111-3111 | 例 多米尼加比索 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3115-3115 | 例 荷蘭盾 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3119-3119 | 例 ecuadoran 糖 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3123-3123 | 例 埃及鎊 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3127-3127 | 例 薩爾瓦多蘭結腸 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