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	O argumento numero 1 de agentOperatesInArea e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2236-2236	O argumento numero 2 de agentOperatesInArea e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Government.kif 2234-2234	agentOperatesInArea e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Government.kif 2237-2237	agentOperatesInArea e' uma sub-relacao de partlyLocated

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	politicalPartyOfCountry e' uma sub-relacao de agentOperatesInArea
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

Agente Cognitivo e' uma instancia de PoliticalPressureGroup Agente Cognitivo tem por fim Formula agentOperatesInArea Agente Cognitivo and Area Geografica Area Geografica e' uma instancia de Nacao
Agente Cognitivo deseja o governo de Area Geografica acredita que Formula

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4511-4519	diplomaticRepresentativeInRole Area Geopolitica, Humano, Posicao and AutonomousAgent Area Geopolitica e' uma instancia de Nacao Organizacao e' uma instancia de DiplomaticOrganization Organizacao e' uma parte da organizacao o governo de Area Geopolitica Humano ocupa a posicao de Posicao Organizacao AutonomousAgent e' uma instancia de Area Geopolitica agentOperatesInArea Organizacao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4504-4509	diplomaticRepresentativeInRole AutonomousAgent, Humano, Posicao and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao AutonomousAgent e' uma instancia de Area Geopolitica agentOperatesInArea AutonomousAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4498-4502	diplomaticRepresentativeInRole AutonomousAgent, Humano, Posicao and AutonomousAgent AutonomousAgent e' uma instancia de Area Geopolitica agentOperatesInArea Humano and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2516-2524	AutonomousAgent e' uma instancia de InternationalOrganization Area Geografica Area Geografica Area Geografica e' uma instancia de Nacao Area Geografica e' uma instancia de Nacao agentOperatesInArea AutonomousAgent and Area Geografica agentOperatesInArea AutonomousAgent and Area Geografica Area Geografica e' igual a Area Geografica

appearance as argument number 0

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

Government.kif 4118-4118

agentOperatesInArea UnitedNationsObserverMissionInGeorgia and RepublicOfGeorgia

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: