| RoadJunction(road junction) | | carrefour, crossing, crossroad, crossway, intersection |
| appearance as argument number 1 |
|
|
| (subclass RoadJunction TransitwayJunction) | Transportation.kif 4364-4364 | Road junction is a subclass of transitway junction |
| (subclass RoadJunction Roadway) | Transportation.kif 4365-4365 | Road junction is a subclass of roadway |
| (documentation RoadJunction EnglishLanguage "RoadJunction is the subclass of TransitwayJunctions where two or more Roadways come together.") | Transportation.kif 4367-4368 | Road junction is a subclass of roadway |
| appearance as argument number 2 |
|
|
|
|
|