No TPTP formula. May not be expressible in strict first order.	Economy.kif 3045-3045	柬埔寨瑞爾 是 柬埔寨 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3049-3049	喀麥隆法郎 是 喀麥隆 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2890-2890	加拿大元 是 加拿大 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3053-3053	佛得角埃斯庫多 是 佛得角 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3057-3057	開曼群島美元 是 開曼群島 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3061-3061	中非共和國法郎 是 中非共和國 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3065-3065	乍得法郎 是 chad 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3069-3069	智利比索 是 智利 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3073-3073	人民幣 是 中國 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3077-3077	哥倫比亞比索 是 哥倫比亞 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3085-3085	哥斯達黎加結腸 是 哥斯達黎加 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3233-3233	象牙海岸法郎 是 科特迪瓦科特迪瓦 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3089-3089	古巴比索 是 古巴 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3093-3093	歐元 是 塞浦路斯 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3097-3097	捷克克朗 是 捷克共和國 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3081-3081	剛果法郎 是 剛果民主共和國 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3589-3589	ZaireseZaire 是 剛果民主共和國 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3105-3105	吉布提法郎 是 吉布提 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3109-3109	多米尼加元 是 多米尼加 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3113-3113	多米尼加比索 是 多米尼加 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3121-3121	Ecuadoran 糖 是 厄瓜多爾 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3125-3125	埃及鎊 是 埃及 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3129-3129	薩爾瓦多蘭結腸 是 薩爾瓦多 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3133-3133	歐元 是 愛沙尼亞 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3137-3137	埃塞俄比亞比爾 是 埃塞俄比亞 的 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