TurksAndCaicosIslands
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 550-556 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 549-549 | Recovery operation is a subclass of direct action activity |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2061-2061 | CT hostage materiel recovery is a subclass of recovery operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1460-1460 | CounterproliferationWM d is a subclass of recovery operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 240-240 | Unconventional assisted recovery is a subclass of recovery operation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48994-48994 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48993-48993 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48992-48992 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 558-570 |
|