![]() |
![]() ![]() ![]()
|
![]() |
|
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 | 子類 貨車 and 車輛 |
appearance as argument number 2 |
![]() |
(subclass Truck CargoVehicle) | Transportation.kif 2010-2010 | 子類 卡車 and 貨車 |
(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 |
![]() |
![]() |