Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   TerminalGuidance
|
|
|
| appearance as argument number 1 |
|
|
| (subclass TerminalGuidance DirectActionActivity) | MilitaryProcesses.kif 502-502 | Terminal guidance is a subclass of direct action activity |
| (subclass TerminalGuidance Classifying) | MilitaryProcesses.kif 503-503 | Terminal guidance is a subclass of classifying |
| (subclass TerminalGuidance Stating) | MilitaryProcesses.kif 504-504 | Terminal guidance is a subclass of stating |
| (subclass TerminalGuidance Locating) | MilitaryProcesses.kif 505-505 | Terminal guidance is a subclass of locating |
| (documentation TerminalGuidance EnglishLanguage "These are actions to identify and precisely report the location of targets, and with global positioning systems, laser designators, beacons, or other means, conduct either terminal attack control (TAC) or terminal guidance operations (TGO) to effectively engage them. TAC involves actions to control the maneuver of and grant weapons release clearance to attacking aircraft. TGO includes any electronic, mechanical, voice or visual communication that provides approaching aircraft or weapons additional information regarding a specific location or target. TAC differs from TGO in that TAC includes the authority to clear aircraft to release ordnance and TGO does not. Because of this, TAC requires individuals to be qualified as joint terminal attack controllers, but TGO does not.") | MilitaryProcesses.kif 506-518 | Terminal guidance is a subclass of locating |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?TA_CTRL TerminalGuidance) (hasPurpose ?TA_CTRL (exists (?AGENT ?ATTACK ?LOCATION ?TARGET) (and (targetInAttack ?ATTACK ?TARGET) (patient ?TA_CTRL ?TARGET) (agent ?TA_CTRL ?AGENT) (holdsDuring (ImmediateFutureFn (WhenFn ?TA_CTRL)) (knows ?AGENT (located ?TARGET ?LOCATION))))))) |
MilitaryProcesses.kif 523-535 | If ?TA_CTRL is an instance of terminal guidance, then ?TA_CTRL has the purpose there exist Y, Z,, , W, V such that V is a target in attack of Z, V is a patient of ?TA_CTRL, Y is an agent of ?TA_CTRL, and Y knows V is located at W holds during immediately after the time of existence of ?TA_CTRL |
| (=> (and (instance ?TA_CTRL TerminalGuidance) (agent ?TA_CTRL ?AGENT) (patient ?TA_CTRL ?TARGET)) (not (holdsRight ?AGENT (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?TARGET)))))) |
MilitaryProcesses.kif 539-550 | If ?TA_CTRL is an instance of terminal guidance, Y is an agent of ?TA_CTRL, and Z is a patient of ?TA_CTRL, then Y doesn't have the right to perform %3 |
|