(subclass InternationalOrganization Organization) | Government.kif 2510-2510 | International organization is a subclass of organization |
(subclass OrganizationOfNations InternationalOrganization) | Government.kif 2526-2526 | Organization of nations is a subclass of international organization |