Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| enemy |
| appearance as argument number 1 |
|
| (domain enemy 1 AutonomousAgent) | MilitaryProcesses.kif 2475-2475 | The number 1 argument of enemy is an instance of agent |
| (domain enemy 2 AutonomousAgent) | MilitaryProcesses.kif 2476-2476 | The number 2 argument of enemy is an instance of agent |
| (instance enemy ObjectAttitude) | MilitaryProcesses.kif 2477-2477 | enemy is an instance of object attitude |
| (instance enemy SymmetricRelation) | MilitaryProcesses.kif 2478-2478 | enemy is an instance of symmetric relation |
| (subrelation enemy inScopeOfInterest) | MilitaryProcesses.kif 2479-2479 | enemy is a subrelation of in scope of interest |
| (documentation enemy EnglishLanguage "Marks two Agents that are enemies of each other") | MilitaryProcesses.kif 2480-2481 | enemy is a subrelation of in scope of interest |
| (disjoint enemy allied) | MilitaryProcesses.kif 2497-2497 | enemy is disjoint from allied |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage enemy "%1 and %2 are %n enemies of each other") | MilitaryProcesses.kif 2925-2925 | |
| (termFormat EnglishLanguage enemy "enemy") | domainEnglishFormat.kif 65830-65830 |
| antecedent |
|
|
| (=> (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 288-299 | If All of the following hold: (1) X is an instance of military force (2) Y is an instance of human (3) Z is an instance of imprisoning (4) Y is a member of X (5) W is an agent of Z (6) Y is a patient of Z (7) W and Y are enemies of each other (8) Z is located at V (9) war state is an attribute of V, then prisoner of war is an attribute of Y |
| (=> (and (instance ?AR ArmedReconnaissance) (agent ?AR ?AGENT) (patient ?AR ?HOSTILE) (holdsDuring (WhenFn ?AR) (enemy ?AGENT ?HOSTILE))) (confersRight ?AR ?AGENT (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?HOSTILE))))) |
MilitaryProcesses.kif 89-103 | If X is an instance of armed reconnaissance, Y is an agent of X, Z is a patient of X, and Y and Z are enemies of each other holds during the time of existence of X, then Y allows there exists W such that W is an instance of attack, Y is an agent of W, and Z is a patient of W to perform task of the type X |
| (=> (holdsDuring ?T (enemy ?AGENT1 ?AGENT2)) (holdsDuring ?T (dislikes ?AGENT1 ?AGENT2))) |
MilitaryProcesses.kif 2483-2487 | If X and Y are enemies of each other holds during Z, then X dislikes Y holds during Z |
| consequent |
|
|
| (=> (and (instance ?RO RecoveryOperation) (patient ?RO ?O) (agent ?RO ?A)) (exists (?CC) (and (instance ?CC ChangeOfControl) (earlier ?CC ?RO) (patient ?CC ?O) (agent ?CC ?E) (enemy ?A ?E) (holdsDuring (PastFn (WhenFn ?CC)) (possesses ?A ?O)) (losesControl ?CC ?A)))) |
MilitaryProcesses.kif 559-575 | If X is an instance of recovery operation, Y is a patient of X, and Z is an agent of X, then All of the following hold: (1) there exists W such that W is an instance of change of control (2) W happens earlier than X (3) Y is a patient of W (4) V is an agent of W (5) Z (6) V are enemies of each other (7) Z possesses Y holds during before the time of existence of W (8) Z loses physical control of some object during W |
| (=> (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 1379-1395 | If X is an instance of host nation, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that W is an instance of nation (3) V is an instance of military force (4) W is a military of area of V (5) Z is a part of the organization V (6) equal X (7) W (8) X (9) W are not enemies of each other (10) Y is an instance of getting (11) X is an agent of Y (12) Z is a patient of Y (13) Z is an instance of military force (14) Z is located at X |
| (=> (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 1500-1510 | If X is an instance of counterproliferationWM d and Y is an agent of X, then there exist Z, W such that Y, Z are enemies of each other, Z is an agent of W, W is an instance of proliferationWMD, and X has the purpose X prevents the occurrence of proliferationWMD |
| (=> (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 2055-2065 | If X is an instance of counter terrorism, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an agent of X (3) Y (4) Z are enemies of each other (5) V is a subclass of terrorism (6) W is an instance of V (7) Z is an agent of W (8) X prevents the occurrence of V |
| (=> (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 2197-2207 | If X is an instance of counter operation, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an agent of X (3) Y (4) Z are enemies of each other (5) V is a subclass of military operation (6) W is an instance of V (7) Z is an agent of W (8) X prevents the occurrence of V |
| (=> (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 2216-2226 | If X is an instance of counter reconnaissance, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an agent of X (3) Y (4) Z are enemies of each other (5) V is a subclass of reconnaissance operation (6) W is an instance of V (7) Z is an agent of W (8) X prevents the occurrence of V |
| (=> (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 2332-2351 | If All of the following hold: (1) X is an instance of civil affairs agreement (2) X is a party to agreement of ?AGENT_MIL_THIS (3) ?AGENT_MIL_THIS is an instance of military organization (4) ?NATION_THIS is a military of area of ?AGENT_MIL_THIS (5) ?NATION_THIS is an instance of nation (6) ?AGENT_MIL_THIS is located at ?NATION_FRIENDLY (7) ?NATION_FRIENDLY is an instance of nation, then equal ?NATION_THIS and ?NATION_FRIENDLY, ?NATION_THIS and ?NATION_FRIENDLY are not enemies of each other, and there exists ?AGENT_FRIENDLY such that ?AGENT_FRIENDLY is located at ?NATION_FRIENDLY, X is a party to agreement of ?AGENT_FRIENDLY, and ?AGENT_FRIENDLY is not an instance of military organization |
| (=> (and (instance ?CAA CivilAffairsAgreement) (partyToAgreement ?AGENT1 ?CAA) (partyToAgreement ?AGENT2 ?CAA)) (not (enemy ?AGENT1 ?AGENT2))) |
MilitaryProcesses.kif 2355-2361 | If X is an instance of civil affairs agreement, X is a party to agreement of Y, and X is a party to agreement of Z, then Y and Z are not enemies of each other |
| (=> (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 2468-2473 | If X is an instance of the mission of Y aborted by Z, W causes X, ?OTHER_A is an agent of W, and ?THIS_A is an agent of Y, then ?OTHER_A and ?THIS_A are not enemies of each other |
| (=> (holdsDuring ?T (allied ?AGENT1 ?AGENT2)) (holdsDuring ?T (not (enemy ?AGENT1 ?AGENT2)))) |
MilitaryProcesses.kif 2501-2506 | If X and Y are allies of each other holds during Z, then X and Y are not enemies of each other holds during Z |
| (=> (holdsDuring ?T (attribute ?P Enemy)) (exists (?AGENT) (holdsDuring ?T (enemy ?AGENT ?P)))) |
MilitaryProcesses.kif 2543-2548 | If enemy is an attribute of X holds during Y, then there exists Z such that Z and X are enemies of each other holds during Y |
| (=> (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 2873-2887 | If X is an instance of Facility, militarily secure is an attribute of X holds during Y, Z is an instance of military force, and Z possesses X, then All of the following hold: (1) there don't exist W (2) V such that W is an instance of attack (3) Y takes place during the time of existence of W (4) W ends up at X (5) V is an agent of W (6) Z (7) V 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 2889-2904 | If X is an instance of Facility, militarily secure is an attribute of X holds during Y, Z is an instance of military force, and Z possesses X, then there doesn't exist W such that Z, W are enemies of each other, W is located at X, and prisoner of war is not an attribute of W holds during Y |
| (=> (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 X is an instance of soccer, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of group of people (3) 11 is a member count of Y (4) Z is an instance of group of people (5) 11 is a member count of Z (6) equal Y (7) Z (8) W is a member of Y (9) W is a member of Z (10) W (11) V are enemies of each other |
|