ConsulGeneral - Sigma Knowledge base Browser

appearance as argument number 1

(instance ConsulGeneral ForeignServicePosition)	Government.kif 4411-4411	Consul general is an instance of foreign service position
(subAttribute ConsulGeneral DiplomaticAgent)	Government.kif 4412-4412	Consul general is a subattribute of diplomatic agent
(documentation ConsulGeneral EnglishLanguage "ConsulGeneral is the Attribute of foreign service officers representing their governments abroad as Consuls General.")	Government.kif 4414-4416	Consul general is a subattribute of diplomatic agent

appearance as argument number 2

(subAttribute ActingConsulGeneral ConsulGeneral)	Government.kif 4432-4432	Acting consul general is a subattribute of consul general
(termFormat EnglishLanguage ConsulGeneral "consul general")	domainEnglishFormat.kif 16842-16842	Acting consul general is a subattribute of consul general
(termFormat ChineseTraditionalLanguage ConsulGeneral "總領事")	domainEnglishFormat.kif 16843-16843	Acting consul general is a subattribute of consul general
(termFormat ChineseLanguage ConsulGeneral "总领事")	domainEnglishFormat.kif 16844-16844	Acting consul general is a subattribute of consul general

antecedent

(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)
        (instance ?AREA2 City)
        (equal ?AGENT2
            (GovernmentFn ?AREA2)))
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2))

If X diplomatic representation type consul general for Y, Z is an instance of city, and equal Y and the government of Z, then X is diplomatic organization type consulate general for Y

consequent

If X is diplomatic organization type consulate general for Y, then X diplomatic representation type consul general for Y