|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3486-3486 | International development association is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3493-3493 | International energy agency is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3503-3503 | International federation of red cross and red crescent societies is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3511-3511 | International finance corporation is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3524-3524 | International fund for agricultural development is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3531-3531 | International hydrographic organization is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3539-3539 | International labor organization is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3550-3550 | International maritime organization is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3564-3564 | International monetary fund is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3572-3572 | International olympic committee is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3579-3579 | International organization for migration is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3590-3590 | International organization for standardization is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3961-3961 | International research and training institute for the advancement of women is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3607-3607 | International telecommunication union is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3620-3620 | Islamic development bank is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3627-3627 | Latin american economic system is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3636-3636 | Latin american integration association is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3645-3645 | Monetary and economic community of central africa is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3653-3653 | Nonaligned movement is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3664-3664 | Nordic council is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3672-3672 | Nordic investment bank is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3680-3680 | North atlantic treaty organization is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3686-3686 | Nuclear energy agency is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3694-3694 | Nuclear suppliers group is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3702-3702 | Organization for economic cooperation and development is an instance of organization of nations |
| 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