TruckTractor more pictures... |
appearance as argument number 1 |
(documentation TruckTractor EnglishLanguage "TruckTractor is the subclass of Trucks that are used to tow truck trailers. Truck tractors are the cab portions of tractor-trailers. See also TruckTrailer.") | Transportation.kif 2027-2029 | |
(externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Road_Train2.jpg") | pictureList.kif 5084-5084 | |
(externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 1/ 16/ 007SFEC_BIG-TRUCKS.JPG") | pictureList.kif 5083-5083 | |
(externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ 003SFEC_BIG-TRUCKS.JPG") | pictureList.kif 5085-5085 | |
(externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Truck.car.transporter.arp.750pix.jpg") | pictureList.kif 5087-5087 | |
(externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ 002SFEC_BIG-TRUCKS.JPG") | pictureList.kif 5081-5081 | |
(externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Cronacher.haltend.JPG") | pictureList.kif 5082-5082 | |
(externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Backing_it_in_2.jpg") | pictureList.kif 4944-4944 | |
(externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ 005SFEC_BIG-TRUCKS.JPG") | pictureList.kif 5086-5086 | |
(subclass TruckTractor Truck) | Transportation.kif 2026-2026 |
appearance as argument number 2 |
(subclass PeterbiltTruck TruckTractor) | Cars.kif 4997-4997 | |
(termFormat ChineseLanguage TruckTractor "卡车拖拉机") | domainEnglishFormat.kif 59296-59296 | |
(termFormat ChineseTraditionalLanguage TruckTractor "卡車拖拉機") | domainEnglishFormat.kif 59295-59295 | |
(termFormat EnglishLanguage TruckTractor "truck tractor") | domainEnglishFormat.kif 59294-59294 |
consequent |
(=> (instance ?TT TractorTrailer) (exists (?TRAC ?TRAIL) (and (instance ?TRAC TruckTractor) (instance ?TRAIL TruckTrailer) (part ?TRAC ?TT) (part ?TRAIL ?TT) (connected ?TRAC ?TRAIL)))) |
Transportation.kif 1831-1839 |