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 4363-4367
(externalImage DiplomaticAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Talleyrand_perigord.jpg")	pictureList.kif 8451-8451
(instance DiplomaticAgent ForeignServicePosition)	Government.kif 4361-4361	Diplomatic agent is an instance of foreign service position

appearance as argument number 2

(subAttribute Ambassador DiplomaticAgent)	Government.kif 4374-4374	Ambassador is a subattribute of diplomatic agent
(subAttribute ChargeDAffaires DiplomaticAgent)	Government.kif 4394-4394	ChargeD affaires is a subattribute of diplomatic agent
(subAttribute Consul DiplomaticAgent)	Government.kif 4388-4388	Consul is a subattribute of diplomatic agent
(subAttribute ConsulGeneral DiplomaticAgent)	Government.kif 4381-4381	Consul general is a subattribute of diplomatic agent
(termFormat ChineseLanguage DiplomaticAgent "外交代表")	domainEnglishFormat.kif 19610-19610	Consul general is a subattribute of diplomatic agent
(termFormat ChineseTraditionalLanguage DiplomaticAgent "外交代表")	domainEnglishFormat.kif 19609-19609	Consul general is a subattribute of diplomatic agent
(termFormat EnglishLanguage DiplomaticAgent "diplomatic agent")	domainEnglishFormat.kif 19608-19608	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 4543-4551	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 4582-4590	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 4518-4524	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 4526-4532	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 4369-4371	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