Transitway(公交专用道) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3355-3356 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14267-14270 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12042-12042 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10304-10304 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14265-14265 | 公交专用道 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14266-14266 | 公交专用道 是 自身连接物体 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1247-1247 | 空中运输通道 是 公交专用道 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11717-11717 | 空中航线 是 公交专用道 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14284-14284 | 陆地过境通道 是 公交专用道 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 773-773 | 管道 是 公交专用道 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2962-2962 | 临时路口 是 公交专用道 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5576-5576 | 水路 是 公交专用道 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58904-58904 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58903-58903 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58902-58902 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1603-1603 | 过境 的 1 数量 是 公交专用道 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24363-24363 | distanceOnPath 的 2 数量 是 公交专用道 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2723-2723 | 系统中的路径 的 1 数量 是 公交专用道 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2903-2903 | 之间的路线 的 1 数量 是 公交专用道 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2743-2743 | 系统路线 的 1 数量 是 公交专用道 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3035-3035 | 过境通行能力计数 的 1 数量 是 公交专用道 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3045-3045 | 过境通行能力 的 1 数量 是 公交专用道 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1609-1613 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2846-2856 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14276-14282 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2880-2884 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2832-2837 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2783-2797 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2760-2774 |