Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Canoe(canoe)
|  | canoe |
| appearance as argument number 1 |
|
|
| (subclass Canoe WaterVehicle) | Transportation.kif 2739-2739 | Canoe is a subclass of water vehicle |
| (subclass Canoe AgentPoweredVehicle) | Transportation.kif 2740-2740 | Canoe is a subclass of agent powered vehicle |
| (documentation Canoe EnglishLanguage "A canoe is a small narrow boat, typically human_powered.") | Transportation.kif 2741-2741 | Canoe is a subclass of agent powered vehicle |
| (externalImage Canoe "http://articulatesoftware.com/SUMOpictures/recreation/ camping_hiking/ canoe.png") | pictureList.kif 319-319 | Canoe is a subclass of agent powered vehicle |
| appearance as argument number 2 |
|
|
|