No TPTP formula. May not be expressible in strict first order.	Government.kif 3108-3108	国际民航组织 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3430-3430	国际民航组织 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3457-3457	国际法院 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 4184-4184	卢旺达国际刑事法庭 是 联合国安理会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 4183-4183	前南斯拉夫问题国际刑事法庭 是 联合国安理会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3109-3109	国际发展协会 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3490-3490	国际发展协会 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 4320-4320	国际发展协会 是 世界银行集团 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3110-3110	国际金融公司 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3515-3515	国际金融公司 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 4321-4321	国际金融公司 是 世界银行集团 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3111-3111	国际农业发展基金 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3529-3529	国际农业发展基金 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3112-3112	国际劳工组织 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3544-3544	国际劳工组织 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3113-3113	国际海事组织 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3561-3561	国际海事组织 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3114-3114	国际货币基金组织 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3568-3568	国际货币基金组织 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3960-3960	提高妇女地位国际研究和培训机构 是 联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3115-3115	国际电信联盟 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3618-3618	国际电信联盟 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3116-3116	多边投资地理机构 是 经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3692-3692	核能机构 是 经济合作与发展组织 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3118-3118	统计委员会 是 经济和社会理事会 Organization 的一部分
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