|
|
   CargoVehicle
|
|
|
| appearance as argument number 1 |
|
|
| (documentation CargoVehicle EnglishLanguage "A Vehicle that is designed to carry Objects. Note that Vehicles that are primarily designed to carry people rather than cargo may still carry cargo. For example, a passenger sedan might be capable of carrying lumber strapped to the roof. For this reason, PassengerVehicle and CargoVehicle are not disjoint.") | Transportation.kif 1769-1773 | |
| (externalImage CargoVehicle "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Truck.car.transporter.arp.750pix.jpg") | pictureList.kif 4583-4583 | |
| (subclass CargoVehicle Vehicle) | Transportation.kif 1768-1768 |
| appearance as argument number 2 |
|
|
| (subclass Truck CargoVehicle) | Transportation.kif 2018-2018 | |
| (termFormat ChineseLanguage CargoVehicle "货车") | domainEnglishFormat.kif 13251-13251 | |
| (termFormat ChineseTraditionalLanguage CargoVehicle "貨車") | domainEnglishFormat.kif 13250-13250 | |
| (termFormat EnglishLanguage CargoVehicle "cargo vehicle") | domainEnglishFormat.kif 13249-13249 |
| antecedent |
|
|
| (=> (and (instance ?VEHICLE CargoVehicle) (instance ?O Human)) (not (modalAttribute (exists (?T) (and (instance ?T Transportation) (patient ?T ?HUMAN) (instrument ?T ?VEHICLE))) Possibility))) |
Transportation.kif 1774-1784 |
|
|
|
