| CargoVehicle(cargo vehicle)
|
| 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 4582-4582 | |
| (subclass CargoVehicle Vehicle) | Transportation.kif 1900-1900 | Cargo vehicle is a subclass of vehicle |
| appearance as argument number 2 |
|
|
| (subclass Truck CargoVehicle) | Transportation.kif 2150-2150 | Truck is a subclass of cargo vehicle |
| (termFormat ChineseLanguage CargoVehicle "货车") | domainEnglishFormat.kif 13264-13264 | Truck is a subclass of cargo vehicle |
| (termFormat ChineseTraditionalLanguage CargoVehicle "貨車") | domainEnglishFormat.kif 13263-13263 | Truck is a subclass of cargo vehicle |
| (termFormat EnglishLanguage CargoVehicle "cargo vehicle") | domainEnglishFormat.kif 13262-13262 | Truck is a subclass of cargo vehicle |
| 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 |
|
|
|
|