(subclass InternationalOrganization Organization) | Government.kif 2510-2510 | InternationalOrganization est une sous-classe de organisation |
(subclass OrganizationOfNations InternationalOrganization) | Government.kif 2526-2526 | OrganizationOfNations est une sous-classe de InternationalOrganization |