| RoadJunction | |
| appearance as argument number 1 |
|
|
| (documentation RoadJunction EnglishLanguage "RoadJunction is the subclass of TransitwayJunctions where two or more Roadways come together.") | Transportation.kif 3025-3026 | |
| (subclass RoadJunction Roadway) | Transportation.kif 3023-3023 | |
| (subclass RoadJunction TransitwayJunction) | Transportation.kif 3022-3022 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RoadJunction "交叉路口") | domainEnglishFormat.kif 50188-50188 | |
| (termFormat ChineseTraditionalLanguage RoadJunction "交叉路口") | domainEnglishFormat.kif 50187-50187 | |
| (termFormat EnglishLanguage RoadJunction "road junction") | domainEnglishFormat.kif 50186-50186 |
|
|
|