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