No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2186-2186 |
CounterReconnaissance est une sous-classe de CounterOperation |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1996-1996 |
CounterTerrorism est une sous-classe de CounterOperation |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1459-1459 |
CounterproliferationWMD est une sous-classe de CounterOperation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17550-17550 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17549-17549 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17548-17548 |
|