No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2617-2622 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2692-2701 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2610-2615 |
![]() |