enemy |
appearance as argument number 1 |
![]() |
(disjoint enemy allied) | MilitaryProcesses.kif 2470-2470 | enemy と allied は disjoint では |
(documentation enemy EnglishLanguage "Marks two Agents that are enemies of each other") | MilitaryProcesses.kif 2453-2454 | enemy と allied は disjoint では |
(domain enemy 1 AutonomousAgent) | MilitaryProcesses.kif 2448-2448 | enemy の数値 1 引数は AutonomousAgent の instance では |
(domain enemy 2 AutonomousAgent) | MilitaryProcesses.kif 2449-2449 | enemy の数値 2 引数は AutonomousAgent の instance では |
(instance enemy ObjectAttitude) | MilitaryProcesses.kif 2450-2450 | enemy は 対象物姿勢 の instance では |
(instance enemy SymmetricRelation) | MilitaryProcesses.kif 2451-2451 | enemy は 対称関係 の instance では |
(subrelation enemy inScopeOfInterest) | MilitaryProcesses.kif 2452-2452 | enemy は inScopeOfInterest の subrelation では |
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 65821-65821 |
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 | |
(=> (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 | |
(=> (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 |
|
(=> (holdsDuring ?T (enemy ?AGENT1 ?AGENT2)) (holdsDuring ?T (dislikes ?AGENT1 ?AGENT2))) |
MilitaryProcesses.kif 2456-2460 |
consequent |
![]() |
![]() |
![]() |