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 4366-4370
(externalImage DiplomaticAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Talleyrand-perigord.jpg")	pictureList.kif 8452-8452
(instance DiplomaticAgent ForeignServicePosition)	Government.kif 4364-4364	Diplomatic agent is an instance of foreign service position

appearance as argument number 2

(subAttribute Ambassador DiplomaticAgent)	Government.kif 4377-4377	Ambassador is a subattribute of diplomatic agent
(subAttribute ChargeDAffaires DiplomaticAgent)	Government.kif 4397-4397	ChargeD affaires is a subattribute of diplomatic agent
(subAttribute Consul DiplomaticAgent)	Government.kif 4391-4391	Consul is a subattribute of diplomatic agent
(subAttribute ConsulGeneral DiplomaticAgent)	Government.kif 4384-4384	Consul general is a subattribute of diplomatic agent
(termFormat ChineseLanguage DiplomaticAgent "外交代表")	domainEnglishFormat.kif 19618-19618	Consul general is a subattribute of diplomatic agent
(termFormat ChineseTraditionalLanguage DiplomaticAgent "外交代表")	domainEnglishFormat.kif 19617-19617	Consul general is a subattribute of diplomatic agent
(termFormat EnglishLanguage DiplomaticAgent "diplomatic agent")	domainEnglishFormat.kif 19616-19616	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 4546-4554	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 4585-4593	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 4521-4527	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 4529-4535	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 4372-4374	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