InternationalOrganization(international organization) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2512-2514 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2510-2510 | International organization is a subclass of organization |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3078-3078 | Commission for social development is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3080-3080 | Commission on crime prevention and criminal justice is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3082-3082 | Commission on human rights is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3084-3084 | Commission on narcotics drugs is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3086-3086 | Commission on population and development is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3088-3088 | Commission on science and technology for development is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3090-3090 | Commission on sustainable development is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3092-3092 | Commission on the status of women is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3094-3094 | Economic and social commission for asia and the pacific is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3096-3096 | Economic and social commission for western asia is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3098-3098 | Economic commission for africa is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3100-3100 | Economic commission for europe is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3102-3102 | Economic commission for latin america and the caribbean is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3112-3112 | International Air Transport Association is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3107-3107 | International center for secretariat of investment disputes is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3433-3433 | International committee of the red cross is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3446-3446 | International court of justice is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4210-4210 | International criminal tribunal for rwanda is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4204-4204 | International criminal tribunal for the former yugoslavia is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3597-3597 | International red cross and red crescent movement is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3117-3117 | Mulitlateral investment geographic agency is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3119-3119 | Statistical commission is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4216-4216 | United nations compensation commission is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3977-3977 | United nations high commissioner for human rights is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3983-3983 | United nations institute for disarmament research is an instance of international organization |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2614-2618 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2516-2524 |
|