agentOperatesInArea - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2200-2202
No TPTP formula. May not be expressible in strict first order.	Government.kif 2196-2196	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 2197-2197	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 2195-2195	agent operates in area is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 2198-2198	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 2189-2189	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 5835-5835	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 5834-5834	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 5833-5833	political party of country is a subrelation of agent operates in area

antecedent

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

Government.kif 2323-2330

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 4472-4480	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 4465-4470	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 4459-4463	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 2477-2485	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 4079-4079

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: