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 |
Direct ambush is a subclass of ambush |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 410-410 |
Direct ambush is a subclass of direct action activity |