No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2061-2061 |
CTHostageMaterielRecovery est une sous-classe de RecoveryOperation |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1460-1460 |
CounterproliferationWMD est une sous-classe de RecoveryOperation |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 240-240 |
UnconventionalAssistedRecovery est une sous-classe de RecoveryOperation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48992-48992 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48991-48991 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48990-48990 |
|