No TPTP formula. May not be expressible in strict first order.	Government.kif 4227-4227	联合国在科索沃的临时行政当局 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3989-3989	联合国区域间犯罪和司法研究所 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4229-4229	联合国伊拉克科威特边界划界委员会 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4006-4006	联合国项目服务办公室 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4153-4153	联合国社会发展研究所 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4166-4166	联合国秘书处 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4260-4260	联合国大学 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2526-2526	国际组织 是 国际组织 的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30655-30655
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30654-30654
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30653-30653

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