Vehicle![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Vehicle ChineseLanguage "Vehicle 是 TransportationDevice 子类别,它通过自 身从一处移动往别处,同时也把乘客或货物和它一同从一处运载到另外一处,如:汽车、卡车、渡轮和飞机。它和通过移动 部件把东西从一处带到另外一处的设备如:导管、自动扶梯或超市用的结账运输带对比,而不需把设备从源处移到目的地。") | chinese_format.kif 3625-3627 | |
(documentation Vehicle EnglishLanguage "Vehicle is the subclass of TransportationDevices that transport passengers or goods from one place to another by moving from one place to the other with them, e.g., cars, trucks, ferries, and airplanes. Contrast with devices such as pipelines, escalators, or supermarket checkout belts, which carry items from one place to another by means of a moving part, without the device removing from the origin to the destination.") | Merge.kif 15945-15952 | |
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/91/Trikke_HPV.JPG") | pictureList.kif 6957-6957 | |
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/9b/Luxury_Car_2.jpg") | pictureList.kif 8214-8214 | |
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/ja/5/56/Himiko.JPG") | pictureList-ImageNet.kif 589-589 | |
(subclass Vehicle TransportationDevice) | Merge.kif 15944-15944 | Vehicle は 輸送機 の subclass では %n |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain TripFn 1 Vehicle) | Transportation.kif 1583-1583 | TripFn の数値 1 引数は Vehicle の instance では %n |
(domain maximumPayloadCapacity 1 Vehicle) | MilitaryDevices.kif 81-81 | maximumPayloadCapacity の数値 1 引数は Vehicle の instance では %n |
(domain maximumPayloadHeightWidth 1 Vehicle) | MilitaryDevices.kif 109-109 | maximumPayloadHeightWidth の数値 1 引数は Vehicle の instance では %n |
(domain onboard 2 Vehicle) | Mid-level-ontology.kif 17374-17374 | onboard の数値 2 引数は Vehicle の instance では %n |
(domain topSpeed 1 Vehicle) | Transportation.kif 1710-1710 | topSpeed の数値 1 引数は Vehicle の instance では %n |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |