No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2756-2758 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2754-2754 |
routeStart 的 1 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2755-2755 |
routeStart 的 2 数量 是 运输系统 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2753-2753 |
routeStart 是 二元谓语 的 instance |