|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3486-3486 | 国际发展协会 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3493-3493 | 国际能源机构 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3503-3503 | 国际红十字会和红新月会联合会 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3511-3511 | 国际金融公司 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3524-3524 | 国际农业发展基金 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3531-3531 | 国际水文组织 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3539-3539 | 国际劳工组织 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3550-3550 | 国际海事组织 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3564-3564 | 国际货币基金组织 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3572-3572 | 国际奥林匹克委员会 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3579-3579 | 国际移民组织 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3590-3590 | 国际标准化组织 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3961-3961 | 提高妇女地位国际研究和培训机构 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3607-3607 | 国际电信联盟 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3620-3620 | 伊斯兰开发银行 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3627-3627 | 拉丁美洲经济体系 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3636-3636 | 拉丁美洲一体化协会 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3645-3645 | 中非货币和经济共同体 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3653-3653 | 不对齐的运动 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3664-3664 | 北欧理事会 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3672-3672 | 北欧投资银行 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3680-3680 | 北大西洋条约组织 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3686-3686 | 核能机构 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3694-3694 | 核供应国集团 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3702-3702 | 经济合作与发展组织 是 国际组织 的 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