|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3108-3108 | International civil aviation organization is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3430-3430 | International civil aviation organization is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3457-3457 | International court of justice is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4184-4184 | International criminal tribunal for rwanda is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4183-4183 | International criminal tribunal for the former yugoslavia is a part of the organization united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3109-3109 | International development association is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3490-3490 | International development association is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4320-4320 | International development association is a part of the organization world bank group |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3110-3110 | International finance corporation is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3515-3515 | International finance corporation is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4321-4321 | International finance corporation is a part of the organization world bank group |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3111-3111 | International fund for agricultural development is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3529-3529 | International fund for agricultural development is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3112-3112 | International labor organization is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3544-3544 | International labor organization is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3113-3113 | International maritime organization is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3561-3561 | International maritime organization is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3114-3114 | International monetary fund is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3568-3568 | International monetary fund is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3960-3960 | International research and training institute for the advancement of women is a part of the organization united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3115-3115 | International telecommunication union is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3618-3618 | International telecommunication union is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3116-3116 | Mulitlateral investment geographic agency is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3692-3692 | Nuclear energy agency is a part of the organization organization for economic cooperation and development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3118-3118 | Statistical commission is a part of the organization economic and social council |
| 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