No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 324-324 |
DirectAction est une sous-classe de SpecialOperation |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 18-18 |
SpecialReconnaissance est une sous-classe de SpecialOperation |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 131-131 |
UnconventionalWarfare est une sous-classe de SpecialOperation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54542-54542 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54541-54541 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54540-54540 |
|