ConsulateGeneral |
appearance as argument number 1 |
![]() |
(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 4672-4675 | |
(subclass ConsulateGeneral DiplomaticOrganization) | Government.kif 4670-4670 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage ConsulateGeneral "总领事馆") | domainEnglishFormat.kif 16845-16845 | |
(termFormat ChineseTraditionalLanguage ConsulateGeneral "總領事館") | domainEnglishFormat.kif 16844-16844 | |
(termFormat EnglishLanguage ConsulateGeneral "consulate general") | domainEnglishFormat.kif 16843-16843 |
antecedent |
![]() |
(=> (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2) (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)) |
Government.kif 4605-4607 |
consequent |
![]() |
(=> (and (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2) (instance ?AREA2 City) (equal ?AGENT2 (GovernmentFn ?AREA2))) (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)) |
Government.kif 4636-4641 |
![]() |
![]() |