|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3131-3131 | 例 愛沙尼亞克朗 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3135-3135 | 例 埃塞俄比亞比爾 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7400-7400 | 例 歐元分 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7395-7395 | 例 歐元 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3139-3139 | 例 斐濟元 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3143-3143 | 例 芬蘭馬克卡 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2892-2892 | 例 法國法郎 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3147-3147 | 例 加蓬法郎 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3151-3151 | 例 岡比亞達拉西 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3155-3155 | 例 格魯吉亞拉里 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2895-2895 | 例 德國馬克 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3159-3159 | 例 加納塞地 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3163-3163 | 例 希臘德拉克馬 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3167-3167 | 例 格林納達美元 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3171-3171 | 例 危地馬拉格查爾 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3175-3175 | 例 幾內亞比紹比索 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3179-3179 | 例 幾內亞法郎 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3183-3183 | 例 圭亞那元 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3187-3187 | 例 海地古德 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3191-3191 | 例 洪都拉斯倫皮拉 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3195-3195 | 例 香港美元 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3199-3199 | 例 匈牙利福林 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3203-3203 | 例 冰島克朗 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3207-3207 | 例 印度盧比 and UnitOfCurrency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3211-3211 | 例 印尼盾 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