No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2174-2184 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2168-2168 | Counter operation is a subclass of military operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1459-1459 | CounterproliferationWM d is a subclass of counter operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1996-1996 | Counter terrorism is a subclass of counter operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2186-2186 | Counter reconnaissance is a subclass of counter operation |