TreeView Knowledge Base Browser - diplomaticOrganizationType

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

diplomaticOrganizationType

Sigma KEE - diplomaticOrganizationType

diplomaticOrganizationType

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4600-4606
No TPTP formula. May not be expressible in strict first order.	Government.kif 4596-4596	The number 1 argument of diplomatic organization type is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4598-4598	The number 3 argument of diplomatic organization type is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4597-4597	The number 2 argument of diplomatic organization type is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4595-4595	diplomatic organization type is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 740-740
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 739-739
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 738-738
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19614-19614
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19613-19613
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19612-19612

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4632-4637	If an agent is diplomatic organization type a kind of organization for a geopolitical area and the geopolitical area is a geopolitical part of another geopolitical area and the other geopolitical area is an instance of nation, then the agent is diplomatic organization type a kind of organization for the other geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4612-4621	If a geopolitical area is diplomatic organization type a kind of organization for an agent and the geopolitical area is an instance of nation and the agent is an instance of geopolitical area, then there exists another organization such that the other organization is an instance of a kind of organization and the other organization is located at the agent and the other organization is a part of the organization the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4622-4631	If an organization is diplomatic organization type another kind of organization for an agent and the organization is an instance of organization and the agent is an instance of geopolitical area, then there exists a third organization such that the third organization is an instance of another kind of organization and the third organization is located at the agent and the third organization is a part of the organization the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4608-4610	If an agent is diplomatic organization type consulate general for another agent, then the agent diplomatic representation type consul general for the other agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4656-4658	If an agent is diplomatic organization type embassy for another agent, then the agent diplomatic representation type ambassador for the other agent

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4632-4637	If an agent is diplomatic organization type a kind of organization for a geopolitical area and the geopolitical area is a geopolitical part of another geopolitical area and the other geopolitical area is an instance of nation, then the agent is diplomatic organization type a kind of organization for the other geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4639-4644	If an agent diplomatic representation type consul general for a government and a geopolitical area is an instance of city and the government is equal to the government of the geopolitical area, then the agent is diplomatic organization type consulate general for the government
No TPTP formula. May not be expressible in strict first order.	Government.kif 4651-4653	If an agent diplomatic representation type ambassador for 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 4647-4649	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

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