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 | CTIntelligenceOperation e' uma sub-classe de CounterTerrorism |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2045-2045 | CTIntelligenceOperation e' uma sub-classe de OffensiveInformationOperation |
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 |