| appearance as argument number 1 |
|
| (documentation allied EnglishLanguage "Marks two Agents that are allies of each other") | MilitaryProcesses.kif 2467-2468 | |
| (domain allied 1 AutonomousAgent) | MilitaryProcesses.kif 2462-2462 | |
| (domain allied 2 AutonomousAgent) | MilitaryProcesses.kif 2463-2463 | |
| (instance allied ObjectAttitude) | MilitaryProcesses.kif 2464-2464 | |
| (instance allied SymmetricRelation) | MilitaryProcesses.kif 2465-2465 | |
| (subrelation allied inScopeOfInterest) | MilitaryProcesses.kif 2466-2466 |
| appearance as argument number 2 |
|
|
| (disjoint enemy allied) | MilitaryProcesses.kif 2469-2469 | |
| (format EnglishLanguage allied "%1 and %2 are %m allies of each other") | MilitaryProcesses.kif 2471-2471 | |
| (termFormat EnglishLanguage allied "allied") | MilitaryProcesses.kif 2470-2470 |
| antecedent |
|
|
| (=> (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 2480-2492 | |
| (=> (holdsDuring ?T (allied ?AGENT1 ?AGENT2)) (holdsDuring ?T (not (enemy ?AGENT1 ?AGENT2)))) |
MilitaryProcesses.kif 2473-2478 |
| consequent |
|
|
| (=> (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 2805-2817 | |
| (=> (holdsDuring ?T (attribute ?P Ally)) (exists (?AGENT) (holdsDuring ?T (allied ?AGENT ?P)))) |
MilitaryProcesses.kif 2501-2506 |
|
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