| Exfiltration | | exfiltration |
| appearance as argument number 1 |
|
|
| s__documentation(s__Exfiltration,s__EnglishLanguage,'The removal of personnel or units from areas under enemy control by stealth, deception, surprise, or clandestine means.')
|
MilitaryProcesses.kif 242-244 | |
| s__instance(s__Exfiltration,s__SetOrClass)
|
MilitaryProcesses.kif 241-241 | |
| s__instance(s__UnconventionalWarfare,s__SetOrClass)
|
MilitaryProcesses.kif 240-240 |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage,s__Exfiltration,'exfiltration')
|
domainEnglishFormat.kif 4214-4214 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 248-261 |
|
|
|