| AgentPoweredVehicle(agent powered vehicle)
|
| appearance as argument number 1 |
|
| (documentation AgentPoweredVehicle EnglishLanguage "A Vehicle which is powered by one or more of its passengers or driver, for example, a Bicycle.") | Transportation.kif 1812-1813 | |
| (externalImage AgentPoweredVehicle "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ c/ ce/ Mountainbike.jpg/ 300px-Mountainbike.jpg") | pictureList.kif 1020-1020 | |
| (subclass AgentPoweredVehicle Vehicle) | Transportation.kif 1811-1811 | Agent powered vehicle is a subclass of vehicle |
| appearance as argument number 2 |
|
|
| (disjoint Trailer AgentPoweredVehicle) | Transportation.kif 1823-1823 | Trailer is disjoint from agent powered vehicle |
| (subclass Canoe AgentPoweredVehicle) | Transportation.kif 2522-2522 | Canoe is a subclass of agent powered vehicle |
| (subclass Cycle AgentPoweredVehicle) | Transportation.kif 1924-1924 | Cycle is a subclass of agent powered vehicle |
| (subclass Kayak AgentPoweredVehicle) | Transportation.kif 2525-2525 | Kayak is a subclass of agent powered vehicle |
| (subclass Scooter AgentPoweredVehicle) | Transportation.kif 1945-1945 | Scooter is a subclass of agent powered vehicle |
| (termFormat ChineseLanguage AgentPoweredVehicle "代理动力车辆") | domainEnglishFormat.kif 5832-5832 | |
| (termFormat ChineseTraditionalLanguage AgentPoweredVehicle "代理動力車輛") | domainEnglishFormat.kif 5831-5831 | |
| (termFormat EnglishLanguage AgentPoweredVehicle "agent powered vehicle") | domainEnglishFormat.kif 5830-5830 |
|
|
|