diplomaticRepresentativeInRole - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - diplomaticRepresentativeInRole

diplomaticRepresentativeInRole

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4461-4468
No TPTP formula. May not be expressible in strict first order.	Government.kif 4456-4456	The number 1 argument of diplomatic representative in role is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4457-4457	The number 2 argument of diplomatic representative in role is an instance of human
No TPTP formula. May not be expressible in strict first order.	Government.kif 4458-4458	The number 3 argument of diplomatic representative in role is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 4459-4459	The number 4 argument of diplomatic representative in role is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4455-4455	diplomatic representative in role is an instance of quaternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 752-752
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 751-751
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 750-750
No TPTP formula. May not be expressible in strict first order.	Government.kif 4448-4448	chief of diplomatic mission is a subrelation of diplomatic representative in role
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19632-19632
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19631-19631
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19630-19630

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4486-4490	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area employs the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 4511-4519	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation and an organization is an instance of diplomatic organization and the organization is a part of the organization the government of the geopolitical area and the human holds the position of the position in the organization and the agent is an instance of geopolitical area, then the agent is an agent operates in area of the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4470-4478	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation, then there exists an organization such that the organization is an instance of diplomatic organization and the organization is a part of the organization the government of the geopolitical area and the human holds the position of the position in the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4504-4509	If an agent is diplomatic representative in role a human for a position with another agent and the agent is an instance of organization and the other agent is an instance of geopolitical area, then the other agent is an agent operates in area of the agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4492-4496	If an agent is diplomatic representative in role a human for a position with another agent and the agent is an instance of organization, then the agent employs the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 4480-4484	If an agent is diplomatic representative in role a human for a position with another agent and the agent is an instance of organization, then the human holds the position of the position in an organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4498-4502	If an agent is diplomatic representative in role a human for a position with another agent and the other agent is an instance of geopolitical area, then the other agent is an agent operates in area of the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 4531-4533	If an agent is diplomatic representative in role a human for a position with another agent, then the agent diplomatic representation type the position for the other agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4683-4685	If an agent is diplomatic representative in role a human for ambassador with another agent, then the agent is diplomatic organization type embassy for the other agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4603-4605	If an agent is diplomatic representative in role a human for a position with another agent, then the agent is representative agent to agent the human for the other agent

consequent

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

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