enemy - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - enemy

enemy

appearance as argument number 1

(disjoint enemy allied)	MilitaryProcesses.kif 2470-2470	enemy is disjoint from allied
(documentation enemy EnglishLanguage "Marks two Agents that are enemies of each other")	MilitaryProcesses.kif 2453-2454	enemy is disjoint from allied
(domain enemy 1 AutonomousAgent)	MilitaryProcesses.kif 2448-2448	The number 1 argument of enemy is an instance of agent
(domain enemy 2 AutonomousAgent)	MilitaryProcesses.kif 2449-2449	The number 2 argument of enemy is an instance of agent
(instance enemy ObjectAttitude)	MilitaryProcesses.kif 2450-2450	enemy is an instance of object attitude
(instance enemy SymmetricRelation)	MilitaryProcesses.kif 2451-2451	enemy is an instance of symmetric relation
(subrelation enemy inScopeOfInterest)	MilitaryProcesses.kif 2452-2452	enemy is a subrelation of in scope of interest

appearance as argument number 2

(format EnglishLanguage enemy "%1 and %2 are %n enemies of each other")	MilitaryProcesses.kif 2884-2884
(termFormat EnglishLanguage enemy "enemy")	domainEnglishFormat.kif 65850-65850

antecedent

(=> (and (instance ?AR ArmedReconnaissance) (agent ?AR ?AGENT) (patient ?AR ?HOSTILE) (holdsDuring (WhenFn ?AR) (enemy ?AGENT ?HOSTILE))) (confersRight (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?HOSTILE))) ?AR ?AGENT))	MilitaryProcesses.kif 89-103	If a process is an instance of armed reconnaissance and a cognitive agent is an agent of the process and an entity is a patient of the process and the cognitive agent and the entity are enemies of each other holds during the time of existence of the process, then the process allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of attack and the cognitive agent is an agent of the other entity and the entity is a patient of the other entity
(=> (and (instance ?DIO DefensiveInformationOperation) (agent ?DIO ?AGENT) (enemy ?AGENT ?ENEMY) (desires ?ENEMY (knows ?ENEMY ?FORMULA)) (desires ?AGENT (not (knows ?ENEMY ?FORMULA)))) (hasPurpose ?DIO (not (knows ?ENEMY ?FORMULA))))	MilitaryProcesses.kif 1876-1888	If a process is an instance of defensive information operation and a cognitive agent is an agent of the process and the cognitive agent and another cognitive agent are enemies of each other and the other cognitive agent desires the other cognitive agent knows an entity and the cognitive agent desires the other cognitive agent doesn't know the entity, then the process has the purpose the other cognitive agent doesn't know the entity
(=> (and (instance ?F MilitaryForce) (instance ?P Human) (instance ?I Imprisoning) (member ?P ?F) (agent ?I ?E) (patient ?I ?P) (enemy ?E ?P) (eventLocated ?I ?LOC) (attribute ?LOC WarState)) (attribute ?P PrisonerOfWar))	MilitaryPersons.kif 285-296	If a collection is an instance of military force and an agent is an instance of human and a process is an instance of imprisoning and the agent is a member of the collection and another agent is an agent of the process and the agent is a patient of the process and the other agent and the agent are enemies of each other and the process is located at an object and war state is an attribute of the object, then prisoner of war is an attribute of the agent
(=> (holdsDuring ?T (enemy ?AGENT1 ?AGENT2)) (holdsDuring ?T (dislikes ?AGENT1 ?AGENT2)))	MilitaryProcesses.kif 2456-2460	If an entity and another entity are enemies of each other holds during a time position, then the entity dislikes the other entity holds during the time position

consequent

(=> (and (instance ?ABORTED (AbortedMissionFn ?A ?MISSION)) (causes ?ACTION ?ABORTED) (agent ?ACTION ?OTHER_A) (agent ?MISSION ?THIS_A)) (not (enemy ?OTHER_A ?THIS_A)))	MilitaryProcesses.kif 2441-2446	If a process is an instance of the mission of a military operation aborted by an agent and the agentCTION causes the process and an entity_A is an agent of the agentCTION and another entity_A is an agent of the military operation, then the entity_A and the other entity_A are not enemies of each other
(=> (and (instance ?CAA CivilAffairsAgreement) (partyToAgreement ?AGENT1 ?CAA) (partyToAgreement ?AGENT2 ?CAA)) (not (enemy ?AGENT1 ?AGENT2)))	MilitaryProcesses.kif 2332-2338	If an agreement is an instance of civil affairs agreement and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent, then the cognitive agent and the other cognitive agent are not enemies of each other
(=> (and (instance ?CAA CivilAffairsAgreement) (partyToAgreement ?AGENT_MIL_THIS ?CAA) (instance ?AGENT_MIL_THIS MilitaryOrganization) (militaryOfArea ?AGENT_MIL_THIS ?NATION_THIS) (instance ?NATION_THIS Nation) (located ?AGENT_MIL_THIS ?NATION_FRIENDLY) (instance ?NATION_FRIENDLY Nation)) (and (not (equal ?NATION_THIS ?NATION_FRIENDLY)) (not (enemy ?NATION_THIS ?NATION_FRIENDLY)) (exists (?AGENT_FRIENDLY) (and (located ?AGENT_FRIENDLY ?NATION_FRIENDLY) (partyToAgreement ?AGENT_FRIENDLY ?CAA) (not (instance ?AGENT_FRIENDLY MilitaryOrganization))))))	MilitaryProcesses.kif 2309-2328	If an agreement is an instance of civil affairs agreement and the agreement is a party to agreement of an entity_MIL_THIS and the entity_MIL_THIS is an instance of military organization and another entity_THIS is a military of area of the entity_MIL_THIS and the other entity_THIS is an instance of nation and the entity_MIL_THIS is located at the other entity_FRIENDLY and the other entity_FRIENDLY is an instance of nation, then the other entity_THIS is not equal to the other entity_FRIENDLY and the other entity_THIS and the other entity_FRIENDLY are not enemies of each other and there exists the entity_FRIENDLY such that the entity_FRIENDLY is located at the other entity_FRIENDLY and the agreement is a party to agreement of the entity_FRIENDLY and the entity_FRIENDLY is not an instance of military organization
(=> (and (instance ?CO CounterproliferationWMD) (agent ?CO ?AGENT)) (exists (?ENEMY ?OP) (and (enemy ?AGENT ?ENEMY) (agent ?OP ?ENEMY) (instance ?OP ProliferationWMD) (hasPurpose ?CO (prevents ?CO ProliferationWMD)))))	MilitaryProcesses.kif 1478-1488	If a process is an instance of counterproliferationWM d and an agent is an agent of the process, then there exist another agent and another process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the other process is an instance of proliferationWMD and the process has the purpose the process prevents the occurrence of proliferationWMD
(=> (and (instance ?F Facility) (holdsDuring ?T (attribute ?F MilitarilySecure)) (instance ?MF MilitaryForce) (possesses ?MF ?F)) (not (exists (?A ?E) (and (instance ?A Attack) (during ?T (WhenFn ?A)) (destination ?A ?F) (agent ?A ?E) (enemy ?MF ?E)))))	MilitaryProcesses.kif 2832-2846	If an object is an instance of Facility and militarily secure is an attribute of the object holds during a time interval and an agent is an instance of military force and the agent possesses the object, then there don't exist a process and another agent such that the process is an instance of attack and the time interval takes place during the time of existence of the process and the process ends up at the object and the other agent is an agent of the process and the agent and the other agent are enemies of each other
(=> (and (instance ?F Facility) (holdsDuring ?T (attribute ?F MilitarilySecure)) (instance ?MF MilitaryForce) (possesses ?MF ?F)) (not (exists (?E) (and (enemy ?MF ?E) (holdsDuring ?T (and (located ?E ?F) (not (attribute ?E PrisonerOfWar))))))))	MilitaryProcesses.kif 2848-2863	If an object is an instance of Facility and militarily secure is an attribute of the object holds during a time position and an agent is an instance of military force and the agent possesses the object, then there doesn't exist another agent such that the agent and the other agent are enemies of each other and the other agent is located at the object and prisoner of war is not an attribute of the other agent holds during the time position
(=> (holdsDuring ?T (allied ?AGENT1 ?AGENT2)) (holdsDuring ?T (not (enemy ?AGENT1 ?AGENT2))))	MilitaryProcesses.kif 2474-2479	If an entity and another entity are allies of each other holds during a time position, then the entity and the other entity are not enemies of each other holds during the time position
(=> (instance ?CO CounterOperation) (hasPurpose ?CO (exists (?AGENT ?ENEMY ?OP ?CLASS) (and (agent ?CO ?AGENT) (enemy ?AGENT ?ENEMY) (subclass ?CLASS MilitaryOperation) (instance ?OP ?CLASS) (agent ?OP ?ENEMY) (prevents ?CO ?CLASS)))))	MilitaryProcesses.kif 2174-2184	If a physical is an instance of counter operation, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an agent of the physical and the entity and the other entity are enemies of each other and the fourth entity is a subclass of military operation and the third entity is an instance of the fourth entity and the other entity is an agent of the third entity and the physical prevents the occurrence of the fourth entity
(=> (instance ?CO CounterReconnaissance) (hasPurpose ?CO (exists (?AGENT ?ENEMY ?OP ?CLASS) (and (agent ?CO ?AGENT) (enemy ?AGENT ?ENEMY) (subclass ?CLASS ReconnaissanceOperation) (instance ?OP ?CLASS) (agent ?OP ?ENEMY) (prevents ?CO ?CLASS)))))	MilitaryProcesses.kif 2193-2203	If a physical is an instance of counter reconnaissance, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an agent of the physical and the entity and the other entity are enemies of each other and the fourth entity is a subclass of reconnaissance operation and the third entity is an instance of the fourth entity and the other entity is an agent of the third entity and the physical prevents the occurrence of the fourth entity
(=> (instance ?CO CounterTerrorism) (hasPurpose ?CO (exists (?AGENT ?ENEMY ?OP ?CLASS) (and (agent ?CO ?AGENT) (enemy ?AGENT ?ENEMY) (subclass ?CLASS Terrorism) (instance ?OP ?CLASS) (agent ?OP ?ENEMY) (prevents ?CO ?CLASS)))))	MilitaryProcesses.kif 2032-2042	If a physical is an instance of counter terrorism, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an agent of the physical and the entity and the other entity are enemies of each other and the fourth entity is a subclass of terrorism and the third entity is an instance of the fourth entity and the other entity is an agent of the third entity and the physical prevents the occurrence of the fourth entity
(=> (instance ?HN HostNation) (exists (?GETTING ?FORCES ?OTHERNATION ?MILITARY) (and (instance ?OTHERNATION Nation) (instance ?MILITARY MilitaryForce) (militaryOfArea ?MILITARY ?OTHERNATION) (subOrganization ?FORCES ?MILITARY) (not (equal ?HN ?OTHERNATION)) (not (enemy ?HN ?OTHERNATION)) (instance ?GETTING Getting) (agent ?GETTING ?HN) (patient ?GETTING ?FORCES) (instance ?FORCES MilitaryForce) (located ?FORCES ?HN))))	MilitaryProcesses.kif 1357-1373	If an agent is an instance of host nation, then there exist a process, an organization,, , a geopolitical area and a military organization such that the geopolitical area is an instance of nation and the military organization is an instance of military force and the geopolitical area is a military of area of the military organization and the organization is a part of the organization the military organization and the agent is not equal to the geopolitical area and the agent and the geopolitical area are not enemies of each other and the process is an instance of getting and the agent is an agent of the process and the organization is a patient of the process and the organization is an instance of military force and the organization is located at the agent
(=> (instance ?S Soccer) (exists (?A ?B ?M1 ?M2) (and (instance ?A GroupOfPeople) (memberCount ?A 11) (instance ?B GroupOfPeople) (memberCount ?B 11) (not (equal ?A ?B)) (member ?M1 ?A) (member ?M1 ?B) (enemy ?M1 ?M2))))	Sports.kif 175-187	If an entity is an instance of soccer, then there exist a collection, another collection,, , an agent and another agent such that the collection is an instance of group of people and 11 is a member count of the collection and the other collection is an instance of group of people and 11 is a member count of the other collection and the collection is not equal to the other collection and the agent is a member of the collection and the agent is a member of the other collection and the agent and the other agent are enemies of each other

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