InternationalOrganization(international organization) |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4227-4227 | United nations interim administration mission in kosovo is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3989-3989 | United nations interregional crime and justice research institute is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4229-4229 | United nations iraq kuwait boundary demarcation commission is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4006-4006 | United nations office of project services is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4153-4153 | United nations research institute for social development is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4166-4166 | United nations secretariat is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4260-4260 | United nations university is an instance of international organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2526-2526 | Organization of nations is a subclass of international organization |
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 |