| 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 1761-1765 | |
| (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 1760-1760 |
| appearance as argument number 2 |
|
|
| (subclass Truck CargoVehicle) | Transportation.kif 2010-2010 | |
| (termFormat ChineseLanguage CargoVehicle "货车") | domainEnglishFormat.kif 13248-13248 | |
| (termFormat ChineseTraditionalLanguage CargoVehicle "貨車") | domainEnglishFormat.kif 13247-13247 | |
| (termFormat EnglishLanguage CargoVehicle "cargo vehicle") | domainEnglishFormat.kif 13246-13246 |
| 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 1766-1776 |
|
|
|