DiplomaticOrganization - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DiplomaticOrganization EnglishLanguage "DiplomaticOrganization is the general class of government organizations that represent one nation in official government business with other nations.")	Government.kif 4659-4661
(subclass DiplomaticOrganization GovernmentOrganization)	Government.kif 4657-4657	DiplomaticOrganization は GovernmentOrganization の subclass では

appearance as argument number 2

(relatedInternalConcept AmericanInstituteInTaiwan DiplomaticOrganization)	Government.kif 4687-4687	AmericanInstituteInTaiwan は DiplomaticOrganization に internally 関連して
(subclass Consulate DiplomaticOrganization)	Government.kif 4677-4677	Consulate は DiplomaticOrganization の subclass では
(subclass ConsulateGeneral DiplomaticOrganization)	Government.kif 4670-4670	ConsulateGeneral は DiplomaticOrganization の subclass では
(subclass Embassy DiplomaticOrganization)	Government.kif 4663-4663	Embassy は DiplomaticOrganization の subclass では
(termFormat ChineseLanguage DiplomaticOrganization "外交组织")	domainEnglishFormat.kif 19617-19617	Embassy は DiplomaticOrganization の subclass では
(termFormat ChineseTraditionalLanguage DiplomaticOrganization "外交組織")	domainEnglishFormat.kif 19616-19616	Embassy は DiplomaticOrganization の subclass では
(termFormat EnglishLanguage DiplomaticOrganization "diplomatic organization")	domainEnglishFormat.kif 19615-19615	Embassy は DiplomaticOrganization の subclass では

antecedent

(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Nation)
        (instance ?ORG DiplomaticOrganization)
        (subOrganization ?ORG
            (GovernmentFn ?AGENT1))
        (occupiesPosition ?PERSON ?POSITION ?ORG)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?ORG ?AGENT2))

Government.kif 4472-4480

consequent

(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Nation))
    (exists (?ORG)
        (and
            (instance ?ORG DiplomaticOrganization)
            (subOrganization ?ORG
                (GovernmentFn ?AGENT1))
            (occupiesPosition ?PERSON ?POSITION ?ORG))))

Government.kif 4431-4439