| 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 1901-1905 | |
| (externalImage CargoVehicle "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Truck.car.transporter.arp.750pix.jpg") | pictureList.kif 4581-4581 | |
| (subclass CargoVehicle Vehicle) | Transportation.kif 1900-1900 |
| appearance as argument number 2 |
|
|
| (subclass Truck CargoVehicle) | Transportation.kif 2150-2150 | |
| (termFormat ChineseLanguage CargoVehicle "货车") | domainEnglishFormat.kif 13259-13259 | |
| (termFormat ChineseTraditionalLanguage CargoVehicle "貨車") | domainEnglishFormat.kif 13258-13258 | |
| (termFormat EnglishLanguage CargoVehicle "cargo vehicle") | domainEnglishFormat.kif 13257-13257 |
| antecedent |
|
|
| (=> (and (instance ?VEHICLE CargoVehicle) (instance ?O Human)) (not (modalAttribute (exists (?T) (and (instance ?T Transportation) (patient ?T ?O) (instrument ?T ?VEHICLE))) Possibility))) |
Transportation.kif 1906-1916 |
|
|
|