Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| allied |
| appearance as argument number 1 |
|
| (domain allied 1 AutonomousAgent) | MilitaryProcesses.kif 2490-2490 | The number 1 argument of allied is an instance of agent |
| (domain allied 2 AutonomousAgent) | MilitaryProcesses.kif 2491-2491 | The number 2 argument of allied is an instance of agent |
| (instance allied ObjectAttitude) | MilitaryProcesses.kif 2492-2492 | allied is an instance of object attitude |
| (instance allied SymmetricRelation) | MilitaryProcesses.kif 2493-2493 | allied is an instance of symmetric relation |
| (subrelation allied inScopeOfInterest) | MilitaryProcesses.kif 2494-2494 | allied is a subrelation of in scope of interest |
| (documentation allied EnglishLanguage "Marks two Agents that are allies of each other") | MilitaryProcesses.kif 2495-2496 | allied is a subrelation of in scope of interest |
| appearance as argument number 2 |
|
|
| (disjoint enemy allied) | MilitaryProcesses.kif 2497-2497 | enemy is disjoint from allied |
| (termFormat EnglishLanguage allied "allied") | MilitaryProcesses.kif 2498-2498 | enemy is disjoint from allied |
| (format EnglishLanguage allied "%1 and %2 are %n allies of each other") | MilitaryProcesses.kif 2499-2499 | enemy is disjoint from allied |
| antecedent |
|
|
| (=> (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 (allied ?AGENT1 ?AGENT2)) (exists (?C) (and (during ?T (WhenFn ?C)) (instance ?C Cooperation) (holdsDuring (WhenFn ?C) (and (agent ?C ?AGENT1) (agent ?C ?AGENT2)))))) |
MilitaryProcesses.kif 2508-2520 | If X and Y are allies of each other holds during Z, then there exists W such that Z takes place during the time of existence of W, W is an instance of cooperation, X is an agent of W, and Y is an agent of W holds during the time of existence of W |
| consequent |
|
|
| (=> (holdsDuring ?T (attribute ?P Ally)) (exists (?AGENT) (holdsDuring ?T (allied ?AGENT ?P)))) |
MilitaryProcesses.kif 2529-2534 | If ally is an attribute of X holds during Y, then there exists Z such that Z and X are allies of each other holds during Y |
| (=> (and (attribute ?X BlueforceControlled) (instance ?X Object)) (exists (?A) (and (instance ?A GovernmentOrganization) (possesses ?A ?X) (or (subOrganization ?A (GovernmentFn UnitedStates)) (allied ?A (GovernmentFn UnitedStates)))))) |
MilitaryProcesses.kif 2849-2861 | If blue force controlled is an attribute of X and X is an instance of object, then there exists Y such that Y is an instance of government organization, Y possesses X, Y is a part of the organization the government of united states or Y, and the government of united states are allies of each other |
|