No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2650-2655 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2725-2734 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2643-2648 |