No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2683-2686 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2688-2688 |
能够在位置 的 2 数量 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2689-2689 |
能够在位置 的 3 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2690-2690 |
能够在位置 的 4 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2687-2687 |
能够在位置 的 1 数量 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2682-2682 |
能够在位置 是 四元谓语 的 instance |