No TPTP formula. May not be expressible in strict first order.	Economy.kif 3141-3141	斐濟元 是 斐 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3145-3145	歐元 是 芬蘭 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2893-2893	歐元 是 法國 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3149-3149	加蓬法郎 是 加蓬 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3153-3153	岡比亞達拉西 是 岡比亞 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2896-2896	歐元 是 德國 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3161-3161	加納塞地 是 加納 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3165-3165	歐元 是 希臘 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3169-3169	格林納達美元 是 格林納達 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3173-3173	危地馬拉格查爾 是 危地馬拉 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3181-3181	幾內亞法郎 是 幾內亞 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3177-3177	幾內亞比紹比索 是 幾內亞比紹 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3185-3185	圭亞那元 是 圭亞那 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3189-3189	海地古德 是 海地 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3193-3193	洪都拉斯倫皮拉 是 洪都拉斯 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3197-3197	香港美元 是 香港 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3201-3201	匈牙利福林 是 匈牙利 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3205-3205	冰島克朗 是 冰島 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3209-3209	印度盧比 是 印度 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3213-3213	印尼盾 是 印度尼西亞 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3217-3217	伊朗里亞爾 是 伊朗 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3221-3221	伊拉克第納爾 是 伊拉克 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3225-3225	歐元 是 愛爾蘭 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3229-3229	以色列謝克爾 是 以色列 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2899-2899	歐元 是 意大利 的 currency 類別
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