Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Trail(trail)
|  | mountain_trail, trail |
| appearance as argument number 1 |
|
|
| (subclass Trail LandTransitway) | Transportation.kif 1802-1802 | Trail is a subclass of land transitway |
| (externalImage Trail "http://upload.wikimedia.org/wikipedia/commons/c/c8/ Autumn_mountain_trail.jpg") | pictureList.kif 2039-2039 | Trail is a subclass of land transitway |
| (externalImage Trail "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Berkeley_trail.jpg") | pictureList.kif 2409-2409 | Trail is a subclass of land transitway |
| appearance as argument number 2 |
|
|
|