No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2061-2061 |
CTHostageMaterielRecovery e' uma sub-classe de RecoveryOperation |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1460-1460 |
CounterproliferationWMD e' uma sub-classe de RecoveryOperation |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 240-240 |
UnconventionalAssistedRecovery e' uma sub-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 |
|