| appearance as argument number 1 |
|
| (subclass RoadJunction TransitwayJunction) | Transportation.kif 4369-4369 | Road junction is a subclass of transitway junction |
| (subclass RoadJunction Roadway) | Transportation.kif 4370-4370 | 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 4372-4373 | Road junction is a subclass of roadway |
| appearance as argument number 2 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners