more pictures...| 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 2167-2169 | |
| (externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Road_Train2.jpg") | pictureList.kif 5083-5083 | |
| (externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 1/ 16/ 007SFEC_BIG-TRUCKS.JPG") | pictureList.kif 5082-5082 | |
| (externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ 003SFEC_BIG-TRUCKS.JPG") | pictureList.kif 5084-5084 | |
| (externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Truck.car.transporter.arp.750pix.jpg") | pictureList.kif 5086-5086 | |
| (externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ 002SFEC_BIG-TRUCKS.JPG") | pictureList.kif 5080-5080 | |
| (externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Cronacher.haltend.JPG") | pictureList.kif 5081-5081 | |
| (externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Backing_it_in_2.jpg") | pictureList.kif 4943-4943 | |
| (externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ 005SFEC_BIG-TRUCKS.JPG") | pictureList.kif 5085-5085 | |
| (subclass TruckTractor Truck) | Transportation.kif 2166-2166 |
| appearance as argument number 2 |
|
|
| (subclass PeterbiltTruck TruckTractor) | Cars.kif 5072-5072 | |
| (termFormat ChineseLanguage TruckTractor "卡车拖拉机") | domainEnglishFormat.kif 59309-59309 | |
| (termFormat ChineseTraditionalLanguage TruckTractor "卡車拖拉機") | domainEnglishFormat.kif 59308-59308 | |
| (termFormat EnglishLanguage TruckTractor "truck tractor") | domainEnglishFormat.kif 59307-59307 |
| 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 1971-1979 |
|
|
|