No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1850-1850 | InformationOperation est une sous-classe de MilitaryOperation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1857-1857 | DefensiveInformationOperation est une sous-classe de InformationOperation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1890-1890 | OffensiveInformationOperation est une sous-classe de InformationOperation |