No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 412-419 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10863-10863 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9983-9983 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 411-411 |
DirectAmbush est une sous-classe de Ambush |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 410-410 |
DirectAmbush est une sous-classe de DirectActionActivity |