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 |
|
![]() |