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 数量 是 运输公司 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3396-3396 |
providesDestination 的 2 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3394-3394 |
providesDestination 是 二元谓语 的 instance |