No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3397-3398 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3395-3395 |
域 providesDestination, 1 and 運輸公司 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3396-3396 |
域 providesDestination, 2 and Region |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3394-3394 |
例 providesDestination and BinaryPredicate |