(subclass DiplomaticOrganization GovernmentOrganization) | Government.kif 4660-4660 | |
(subclass Embassy DiplomaticOrganization) | Government.kif 4666-4666 | |
(subclass ConsulateGeneral DiplomaticOrganization) | Government.kif 4673-4673 | |
(subclass Consulate DiplomaticOrganization) | Government.kif 4680-4680 |