Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RoadJunction(road junction) |  | carrefour, crossing, crossroad, crossway, intersection |
| appearance as argument number 1 |
|
|
| (subclass RoadJunction TransitwayJunction) | Transportation.kif 4403-4403 | Road junction is a subclass of transitway junction |
| (subclass RoadJunction Roadway) | Transportation.kif 4404-4404 | 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 4406-4407 | Road junction is a subclass of roadway |
| appearance as argument number 2 |
|
|
|