TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ConsulateGeneral DiplomaticOrganization)	Government.kif 4701-4701	Consulate general is a subclass of diplomatic organization
(documentation ConsulateGeneral EnglishLanguage "ConsulateGeneral is a class of government organizations that represent one nation within the territory of a second nation. Consulates General offer a wider variety of services than do Consulates.")	Government.kif 4703-4706	Consulate general is a subclass of diplomatic organization

appearance as argument number 2

(termFormat EnglishLanguage ConsulateGeneral "consulate general")	domainEnglishFormat.kif 16836-16836
(termFormat ChineseTraditionalLanguage ConsulateGeneral "總領事館")	domainEnglishFormat.kif 16837-16837
(termFormat ChineseLanguage ConsulateGeneral "总领事馆")	domainEnglishFormat.kif 16838-16838

antecedent

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

consequent

(=>
    (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