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 |
|