or |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 35-43 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18366-18370 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8173-8177 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 433-440 |
|
![]() |