TreeView Knowledge Base Browser - DiplomaticAgent

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

DiplomaticAgent

Sigma KEE - DiplomaticAgent

DiplomaticAgent(diplomatic agent)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4402-4406
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8452-8452
No TPTP formula. May not be expressible in strict first order.	Government.kif 4400-4400	Diplomatic agent is an instance of foreign service position

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4413-4413	Ambassador is a subattribute of diplomatic agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4433-4433	ChargeD affaires is a subattribute of diplomatic agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4427-4427	Consul is a subattribute of diplomatic agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4420-4420	Consul general is a subattribute of diplomatic agent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19602-19602
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19601-19601
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19600-19600

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4582-4590	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 4621-4629	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

No TPTP formula. May not be expressible in strict first order.	Government.kif 4557-4563	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 4565-4571	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 4408-4410	If an attribute is an instance of foreign service position, then the attribute is a subattribute of diplomatic agent

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

Show without tree

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