TreeView Knowledge Base Browser - agentOperatesInArea

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	Le nombre 1 argument de agentOperatesInArea est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2236-2236	Le nombre 2 argument de agentOperatesInArea est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Government.kif 2234-2234	agentOperatesInArea est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Government.kif 2237-2237	agentOperatesInArea est une sous-relation 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 est une sous-relation 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

Agent cognitif est une instance de PoliticalPressureGroup agent cognitif a pour but formule agentOperatesInArea agent cognitif and secteur g�ographique secteur g�ographique est une instance de nation
agent cognitif desire le gouvernment de secteur g�ographique croit formule

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4511-4519	diplomaticRepresentativeInRole secteur g�opolitique, humain, position and AutonomousAgent secteur g�opolitique est une instance de nation organisation est une instance de DiplomaticOrganization organisation est une partie de l'organization le gouvernment de secteur g�opolitique humain occupe la position de position organisation AutonomousAgent est une instance de secteur g�opolitique agentOperatesInArea organisation and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4504-4509	diplomaticRepresentativeInRole AutonomousAgent, humain, position and AutonomousAgent AutonomousAgent est une instance de organisation AutonomousAgent est une instance de secteur g�opolitique agentOperatesInArea AutonomousAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4498-4502	diplomaticRepresentativeInRole AutonomousAgent, humain, position and AutonomousAgent AutonomousAgent est une instance de secteur g�opolitique agentOperatesInArea humain and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2516-2524	AutonomousAgent est une instance de InternationalOrganization secteur g�ographique secteur g�ographique secteur g�ographique est une instance de nation secteur g�ographique est une instance de nation agentOperatesInArea AutonomousAgent and secteur g�ographique agentOperatesInArea AutonomousAgent and secteur g�ographique secteur g�ographique est secteur g�ographique

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: