TreeView Knowledge Base Browser - DiplomaticOrganization

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))

If All of the following hold: (1) X is diplomatic representative in role Y for Z with W (2) X is an instance of nation (3) V is an instance of diplomatic organization (4) V is a part of the organization the government of X (5) Y holds the position of Z in V (6) W is an instance of geopolitical area, then W is an agent operates in area of V

consequent

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

If X is diplomatic representative in role Y for Z with W and X is an instance of nation, then there exists V such that V is an instance of diplomatic organization, V is a part of the organization the government of X, and Y holds the position of Z in V

(subclass DiplomaticOrganization GovernmentOrganization)	Government.kif 4688-4688	Diplomatic organization is a subclass of government organization
(documentation DiplomaticOrganization EnglishLanguage "DiplomaticOrganization is the general class of government organizations that represent one nation in official government business with other nations.")	Government.kif 4690-4692	Diplomatic organization is a subclass of government organization

(subclass Embassy DiplomaticOrganization)	Government.kif 4694-4694	Embassy is a subclass of diplomatic organization
(subclass ConsulateGeneral DiplomaticOrganization)	Government.kif 4701-4701	Consulate general is a subclass of diplomatic organization
(subclass Consulate DiplomaticOrganization)	Government.kif 4708-4708	Consulate is a subclass of diplomatic organization
(relatedInternalConcept AmericanInstituteInTaiwan DiplomaticOrganization)	Government.kif 4718-4718	American institute in taiwan is internally related to diplomatic organization
(termFormat EnglishLanguage DiplomaticOrganization "diplomatic organization")	domainEnglishFormat.kif 19608-19608	American institute in taiwan is internally related to diplomatic organization
(termFormat ChineseTraditionalLanguage DiplomaticOrganization "外交組織")	domainEnglishFormat.kif 19609-19609	American institute in taiwan is internally related to diplomatic organization
(termFormat ChineseLanguage DiplomaticOrganization "外交组织")	domainEnglishFormat.kif 19610-19610	American institute in taiwan is internally related to diplomatic organization