Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
RailJunction(rail junction)
|
| appearance as argument number 1 |
|
| (documentation RailJunction EnglishLanguage "RailJunction is the subclass of TransitwayJunctions where two or more Railway lines come together.") | Transportation.kif 4409-4410 | |
| (subclass RailJunction TransitwayJunction) | Transportation.kif 4411-4411 | Rail junction is a subclass of transitway junction |
| (subclass RailJunction Railway) | Transportation.kif 4412-4412 | Rail junction is a subclass of railway |
| (externalImage RailJunction "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 76/ Railroad_Gyula.jpg/ 120px_Railroad_Gyula.jpg") | pictureList.kif 1227-1227 | Rail junction is a subclass of railway |
| appearance as argument number 2 |
|
|
|