DiplomaticAgent - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - DiplomaticAgent

DiplomaticAgent(diplomatic agent)

appearance as argument number 1

(documentation DiplomaticAgent EnglishLanguage "DiplomaticAgent is a generic Attribute of persons charged to represent one national government to another nation or international organization. This includes any Ambassador or head of a diplomatic mission. Individuals with this attribute may also hold a career diplomatic position (see ForeignServicePosition).")	Government.kif 4364-4368
(externalImage DiplomaticAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Talleyrand_perigord.jpg")	pictureList.kif 8451-8451
(instance DiplomaticAgent ForeignServicePosition)	Government.kif 4362-4362	Diplomatic agent is an instance of foreign service position

appearance as argument number 2

(subAttribute Ambassador DiplomaticAgent)	Government.kif 4375-4375	Ambassador is a subattribute of diplomatic agent
(subAttribute ChargeDAffaires DiplomaticAgent)	Government.kif 4395-4395	ChargeD affaires is a subattribute of diplomatic agent
(subAttribute Consul DiplomaticAgent)	Government.kif 4389-4389	Consul is a subattribute of diplomatic agent
(subAttribute ConsulGeneral DiplomaticAgent)	Government.kif 4382-4382	Consul general is a subattribute of diplomatic agent
(termFormat ChineseLanguage DiplomaticAgent "外交代表")	domainEnglishFormat.kif 19617-19617	Consul general is a subattribute of diplomatic agent
(termFormat ChineseTraditionalLanguage DiplomaticAgent "外交代表")	domainEnglishFormat.kif 19616-19616	Consul general is a subattribute of diplomatic agent
(termFormat EnglishLanguage DiplomaticAgent "diplomatic agent")	domainEnglishFormat.kif 19615-19615	Consul general is a subattribute of diplomatic agent

antecedent

(=> (and (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (subAttribute ?ROLE DiplomaticAgent)) (exists (?PERSON) (and (instance ?PERSON Human) (citizen ?PERSON ?COUNTRY1) (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2))))	Government.kif 4544-4552	If a nation diplomatic representation type a position for an agent and the position is a subattribute of diplomatic agent, then there exists a human such that the human is an instance of human and the human is a citizen of the nation and the nation is diplomatic representative in role the human for the position with the agent
(=> (and (instance ?SENDER Nation) (instance ?RECEIVER Nation) (instance ?PERSON Human) (attribute ?PERSON ?ROLE) (subAttribute ?ROLE DiplomaticAgent) (representativeAgentToAgent ?SENDER ?PERSON ?RECEIVER)) (diplomaticRepresentationType ?SENDER ?ROLE ?RECEIVER))	Government.kif 4583-4591	If an agent is an instance of nation and another agent is an instance of nation and a third agent is an instance of human and a position is an attribute of the third agent and the position is a subattribute of diplomatic agent and the agent is representative agent to agent the third agent for the other agent, then the agent diplomatic representation type the position for the other agent

consequent

(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))	Government.kif 4519-4525	If a geopolitical area is a diplomatic relations of another geopolitical area, then there exists a position such that the position is an instance of foreign service position and the position is a subattribute of diplomatic agent and the other geopolitical area diplomatic representation type the position for the geopolitical area
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))	Government.kif 4527-4533	If a geopolitical area is a diplomatic relations of another geopolitical area, then there exists a position such that the position is an instance of foreign service position and the position is a subattribute of diplomatic agent and the geopolitical area diplomatic representation type the position for the other geopolitical area
(=> (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent))	Government.kif 4370-4372	If an attribute is an instance of foreign service position, then the attribute is a subattribute of diplomatic agent

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners