(subclass InternationalOrganization Organization) | Government.kif 2510-2510 | InternationalOrganization は 組織 の subclass では %n |
(subclass OrganizationOfNations InternationalOrganization) | Government.kif 2526-2526 | OrganizationOfNations は InternationalOrganization の subclass では %n |