|
|
   DiplomaticOrganization
|
|
|
| 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 4662-4664 | |
| (subclass DiplomaticOrganization GovernmentOrganization) | Government.kif 4660-4660 | DiplomaticOrganization è una sottoclasse di GovernmentOrganization |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept AmericanInstituteInTaiwan DiplomaticOrganization) | Government.kif 4690-4690 | AmericanInstituteInTaiwan è interamente correlato a DiplomaticOrganization |
| (subclass Consulate DiplomaticOrganization) | Government.kif 4680-4680 | Consulate è una sottoclasse di DiplomaticOrganization |
| (subclass ConsulateGeneral DiplomaticOrganization) | Government.kif 4673-4673 | ConsulateGeneral è una sottoclasse di DiplomaticOrganization |
| (subclass Embassy DiplomaticOrganization) | Government.kif 4666-4666 | Embassy è una sottoclasse di DiplomaticOrganization |
| (termFormat ChineseLanguage DiplomaticOrganization "外交组织") | domainEnglishFormat.kif 19608-19608 | |
| (termFormat ChineseTraditionalLanguage DiplomaticOrganization "外交組織") | domainEnglishFormat.kif 19607-19607 | |
| (termFormat EnglishLanguage DiplomaticOrganization "diplomatic organization") | domainEnglishFormat.kif 19606-19606 |
| 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 4475-4483 |
|
| 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 4434-4442 |
|
|
|
|