Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AntiAircraftWarfare
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AntiAircraftWarfare CounterOperation) | Military.kif 355-355 | Anti-aircrraft warfare is a subclass of counter operation |
| (subclass AntiAircraftWarfare DefensiveManeuver) | Military.kif 356-356 | Anti-aircrraft warfare is a subclass of defensive maneuver |
| (documentation AntiAircraftWarfare EnglishLanguage "AntiAircraftWarfare (AAW) is the counter to AerialWarfare and includes all measures designed to nullify or reduce the effectiveness of hostile air action. The essence of air defence is to detect hostile aircraft and destroy them. The critical issue is to hit a target moving in three-dimensional space; an attack must not only match these three coordinates, but must do so at the time the target is at that position. [Wikipedia]") | Military.kif 357-362 | Anti-aircrraft warfare is a subclass of defensive maneuver |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AntiAircraftWarfare "anti-aircrraft warfare") | Military.kif 363-363 | |
| (names "AAW" AntiAircraftWarfare) | Military.kif 364-364 | Anti-aircrraft warfare has name "AAW" |
| (names "air defence" AntiAircraftWarfare) | Military.kif 365-365 | Anti-aircrraft warfare has name "air defence" |
| (names "air defense" AntiAircraftWarfare) | Military.kif 366-366 | Anti-aircrraft warfare has name "air defense" |
| antecedent |
|
|
| (=> (instance ?W AntiAircraftWarfare) (hasPurpose ?W (exists (?D ?A) (and (instance ?D Discovering) (patient ?D ?A) (instance ?A Aircraft) (attribute ?A Enemy) (hasPurpose ?D (exists (?E) (and (instance ?E Destruction) (patient ?E ?A)))))))) |
Military.kif 368-381 | If X is an instance of anti-aircrraft warfare, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of discovering (3) Z is a patient of Y (4) Z is an instance of aircraft (5) enemy is an attribute of Z (6) Y has the purpose there exists W such that W is an instance of destruction (7) Z is a patient of W |
| (=> (instance ?W AntiAircraftWarfare) (hasPurpose ?W (exists (?CLASS ?C) (and (subclass ?CLASS AerialWarfare) (prevents ?W ?CLASS) (instance ?C ?CLASS) (attribute ?C Enemy))))) |
Military.kif 383-391 | If X is an instance of anti-aircrraft warfare, then X has the purpose there exist Y, Z such that Y is a subclass of aerial warfare, X prevents the occurrence of Y, Z is an instance of Y, and enemy is an attribute of Z |
| consequent |
|
|
| (=> (instance ?D GuidedMissileDestroyer) (and (capability AntiAircraftWarfare instrument ?D) (capability MilitaryScreeningTactic instrument ?D))) |
Military.kif 349-353 | If X is an instance of guided missile destroyer, then X is capable of doing anti-aircrraft warfare as a instrument and X is capable of doing military screening tactic as a instrument |
|