No TPTP formula. May not be expressible in strict first order.	Government.kif 3108-3108	子組織 國際民航組織 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3430-3430	子組織 國際民航組織 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3457-3457	子組織 國際法院 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 4184-4184	子組織 盧旺達國際刑事法庭 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4183-4183	子組織 前南斯拉夫問題國際刑事法庭 and 聯合國安理會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3109-3109	子組織 國際發展協會 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3490-3490	子組織 國際發展協會 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 4320-4320	子組織 國際發展協會 and 世界銀行集團
No TPTP formula. May not be expressible in strict first order.	Government.kif 3110-3110	子組織 國際金融公司 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3515-3515	子組織 國際金融公司 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 4321-4321	子組織 國際金融公司 and 世界銀行集團
No TPTP formula. May not be expressible in strict first order.	Government.kif 3111-3111	子組織 國際農業發展基金 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3529-3529	子組織 國際農業發展基金 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3112-3112	子組織 國際勞工組織 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3544-3544	子組織 國際勞工組織 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3113-3113	子組織 國際海事組織 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3561-3561	子組織 國際海事組織 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3114-3114	子組織 國際貨幣基金組織 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3568-3568	子組織 國際貨幣基金組織 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3960-3960	子組織 提高婦女地位國際研究和培訓機構 and 聯合國大會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3115-3115	子組織 國際電信聯盟 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3618-3618	子組織 國際電信聯盟 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3116-3116	子組織 多邊投資地理機構 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3692-3692	子組織 核能機構 and 經濟合作與發展組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3118-3118	子組織 統計委員會 and 經濟和社會理事會
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