Roadway(巷道) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3359-3361 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14322-14327 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 183-183 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14321-14321 | 巷道 是 陆地过境通道 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17875-17875 | 车道 是 巷道 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1646-1646 | 车道 是 巷道 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22217-22217 | 路 是 巷道 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2971-2971 | 交叉路口 是 巷道 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1643-1643 | 二级公路 是 巷道 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1644-1644 | 街 是 巷道 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 625-625 | 浮出水面的巷道 是 巷道 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 635-635 | 没有铺面的巷道 是 巷道 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50204-50204 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50203-50203 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50202-50202 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6707-6707 | 街道地址 的 2 数量 是 巷道 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24813-24813 | postStreet 的 2 数量 是 巷道 的 instance |
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 484-491 | 长度测量 是 地理区域 的 total 高速公路系统长度 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2089-2093 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 493-501 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4776-4786 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15050-15056 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15661-15666 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2002-2007 |