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 48994-48994 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48993-48993 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48992-48992 |
|