Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   MilitaryScreeningTactic
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MilitaryScreeningTactic MilitaryOperation) | Military.kif 412-412 | Military screening tactic is a subclass of military operation |
| (subclass MilitaryScreeningTactic Attack) | Military.kif 413-413 | Military screening tactic is a subclass of attack |
| (documentation MilitaryScreeningTactic EnglishLanguage "MilitaryScreeningTactic is carried out by a screening force (sometimes referred to as a security force,or guard force) for providing early warning and ReconnaissanceOperation to a main force or unit. Screening units are usually smaller and more mobile than units of the main body. They also detect and harass the enemy's own screening and reconnaissance units, hide the main body’s strength and location, and delay enemy advance. Screening forces generally avoid becoming decisively engaged in a Battle.[Wikipedia]") | Military.kif 414-420 | Military screening tactic is a subclass of attack |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MilitaryScreeningTactic "military screening tactic") | Military.kif 421-421 |
| antecedent |
|
|
| (=> (instance ?M MilitaryScreeningTactic) (hasPurpose ?M (exists (?D ?P) (and (instance ?D Discovering) (patient ?D ?P) (instance ?P Proposition) (attribute ?P Enemy))))) |
Military.kif 423-431 | If X is an instance of military screening tactic, then X has the purpose there exist Y, Z such that Y is an instance of discovering, Z is a patient of Y, Z is an instance of proposition, and enemy is an attribute of Z |
| (=> (instance ?M MilitaryScreeningTactic) (exists (?R) (and (instance ?R ReconnaissanceOperation) (subProcess ?R ?M)))) |
Military.kif 433-438 | If X is an instance of military screening tactic, then there exists Y such that Y is an instance of reconnaissance operation and Y is a subprocess of X |
| 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 |
|