No TPTP formula. May not be expressible in strict first order.	Government.kif 3244-3244	欧洲航太局 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3251-3251	欧洲联盟 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3262-3262	粮食及农业组织 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3268-3268	法郎区 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3319-3319	10人小组 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3331-3331	11人小组 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3338-3338	15人小组 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3348-3348	24人小组 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3275-3275	3人小组 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3281-3281	5人组 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3287-3287	6人组 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3294-3294	7人小组 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3358-3358	77人小组 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3304-3304	8人小组 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3314-3314	9人小组 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3364-3364	海湾合作委员会 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3373-3373	印度洋委员会 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3380-3380	美洲开发银行 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3389-3389	政府间发展权威 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3404-3404	国际原子能机构 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3410-3410	国际重建和发展银行 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3418-3418	国际商会 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3426-3426	国际民航组织 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3440-3440	国际自由工会联合会 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3475-3475	国际刑事警察组织 是 国际组织 的 instance
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