trafficableForTrafficType |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2606-2608 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2604-2604 | 可通行的交通类型 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2605-2605 | 可通行的交通类型 的 2 数量 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2603-2603 | 可通行的交通类型 是 二元谓语 的 instance |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2531-2531 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2530-2530 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2529-2529 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58754-58754 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58753-58753 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58752-58752 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1683-1688 | |
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 2617-2622 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2624-2626 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1514-1516 |
![]() |
![]() |