No TPTP formula. May not be expressible in strict first order.	Economy.kif 3237-3237	牙買加元 是 牙買加 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2902-2902	日圓 是 日本 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3241-3241	約旦第納爾 是 約旦 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3245-3245	哈薩克斯坦堅戈 是 哈薩克斯坦 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3249-3249	肯尼亞先令 是 肯尼亞 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3253-3253	基里巴斯元 是 基里巴斯 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3257-3257	科威特第納爾 是 科威特 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3261-3261	吉爾吉斯斯坦索姆 是 吉爾吉斯斯坦 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3265-3265	老天基普 是 寮 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3269-3269	歐元 是 拉脫維亞 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3273-3273	黎巴嫩鎊 是 黎巴嫩 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3277-3277	萊索托洛蒂 是 萊索托 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3281-3281	利比里亞元 是 利比里亞 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3285-3285	利比亞第納爾 是 利比亞 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3289-3289	歐元 是 立陶宛 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3293-3293	歐元 是 盧森堡 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3297-3297	澳門帕塔卡 是 澳門 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3301-3301	馬達加斯加法郎 是 馬達加斯加 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3305-3305	Malawian 克瓦查 是 馬拉維 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3309-3309	馬來西亞林吉特 是 馬來西亞 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3313-3313	馬里法郎 是 馬里 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3317-3317	歐元 是 馬耳他 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3321-3321	毛里塔尼亞ouguiya 是 毛里求斯 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3325-3325	毛里求斯盧比 是 毛里求斯 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3329-3329	墨西哥比索 是 墨西哥 的 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