Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WaterJunction(water junction) |
| appearance as argument number 1 |
|
| (subclass WaterJunction TransitwayJunction) | Transportation.kif 4414-4414 | Water junction is a subclass of transitway junction |
| (subclass WaterJunction Waterway) | Transportation.kif 4415-4415 | Water junction is a subclass of waterway |
| (documentation WaterJunction EnglishLanguage "WaterJunction is the subclass of TransitwayJunctions where two or more Waterways come together.") | Transportation.kif 4417-4418 | Water junction is a subclass of waterway |
| appearance as argument number 2 |
|
|
|