18. 1. Historia Krakenów 2. Cele i zadania systemu 3. Architektura 4. Podsumowanie KRAKEN toolset Cycorp Inc.
19.
20.
21.
22.
23. If two brigades in one battalion are being attacked, then the brigade is being attacked. (implies (and (isa ?THE-1ST-TASK AssignedTaskType) (targetInAttackTask ?THE-1ST-TASK ?THE-1ST-BATALLION) (isa ?THE-1ST-BATALLION Batallion-MilitaryEchelon) (subOrganizations ?THE-BRIGADE ?THE-1ST-BATALLION) (isa ?THE-BRIGADE Brigade-MilitaryEchelon) (different ?THE-1ST-TASK ?THE-2ND-TASK) (isa ?THE-1ST-TASK AssignedTaskType) (different ?THE-1ST-BATALLION ?THE-2ND-BATALLION) (isa ?THE-2ND-BATALLION Batallion-MilitaryEchelon) (subOrganizations ?THE-BRIGADE ?THE-2ND-BATALLION) (targetInAttackTask ?THE-2ND-TASK ?THE-2ND-BATALLION)) (targetInAttackTask ?THE-1ST-TASK ?THE-BRIGADE)) If a unit is assigned to attack another unit, then it is responsible for that unit. (implies (and (isa ?UNITA ModernMilitaryUnit-Deployable) (different ?UNITA ?UNITB) (isa ?UNITB ModernMilitaryUnit-Deployable) (targetInAttackTask ?THE-ATTACKING-TASK ?UNITA) (unitAssignedToAction ?THE-ATTACKING-TASK ?UNITB) (isa ?THE-ATTACKING-TASK AssignedTaskType)) (unitAssignedToUnit ?UNITB ?UNITA)) Fragment wiedzy w języku CycL