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 2610-2615 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1683-1688 |
|