| 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 14300-14305 | |
| 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 14299-14299 | 子類 巷道 and 陸地過境通道 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17876-17876 | 子類 車道 and 巷道 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1646-1646 | 子類 車道 and 巷道 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22218-22218 | 子類 路 and 巷道 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2971-2971 | 子類 交叉路口 and 巷道 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1643-1643 | 子類 二級公路 and 巷道 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1644-1644 | 子類 街 and 巷道 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 625-625 | 子類 浮出水面的巷道 and 巷道 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 635-635 | 子類 沒有鋪面的巷道 and 巷道 |
| 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 6708-6708 | 域 街道地址, 2 and 巷道 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24814-24814 | 域 postStreet, 2 and 巷道 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 484-491 | LengthMeasure 是 GeographicArea 的 total 高速公路系統長度 length 卡帕 SymbolicString and 例 SymbolicString and 巷道 位於 SymbolicString and GeographicArea and LengthMeasure |
| 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 4768-4778 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15051-15057 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15662-15667 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2002-2007 |
|
|
|