|
|
   CTIntelligenceOperation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2046-2050 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2044-2044 | CT intelligence operation is a subclass of counter terrorism |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2045-2045 | CT intelligence operation is a subclass of offensive information operation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17952-17952 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17951-17951 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17950-17950 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2819-2819 |
|
|
|