agentOperatesInArea - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2239-2241
No TPTP formula. May not be expressible in strict first order.	Government.kif 2235-2235	The number 1 argument of agent operates in area is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2236-2236	The number 2 argument of agent operates in area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2234-2234	agent operates in area is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 2237-2237	agent operates in area is a subrelation of partly located

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 76-76
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 75-75
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 74-74
No TPTP formula. May not be expressible in strict first order.	Government.kif 2228-2228	political party of country is a subrelation of agent operates in area
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5826-5826
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5825-5825
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5824-5824

antecedent

No TPTP formula. May not be expressible in strict first order.

Government.kif 2362-2369

If a cognitive agent is an instance of political pressure group and the cognitive agent has the purpose a formula and a geographic area is an agent operates in area of the cognitive agent and the geographic area is an instance of nation,
then the cognitive agent desires the government of the geographic area believes the formula

consequent

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 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 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 2516-2524	If an agent is an instance of international organization, then there exist a geographic area and another geographic area such that the geographic area is an instance of nation and the other geographic area is an instance of nation and the geographic area is an agent operates in area of the agent and the other geographic area is an agent operates in area of the agent and the geographic area is not equal to the other geographic area

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.

Government.kif 4118-4118

Republic of georgia is an agent operates in area of united nations observer mission in georgia

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

KB Term:			Term intersection

English Word: