more pictures...| TruckTractor(truck tractor)
more pictures... |
| appearance as argument number 1 |
|
| (subclass TruckTractor Truck) | Transportation.kif 2181-2181 | Truck tractor is a subclass of truck |
| (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 2182-2184 | Truck tractor is a subclass of truck |
| (externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Backing_it_in_2.jpg") | pictureList.kif 4943-4943 | Truck tractor is a subclass of truck |
| (externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ 002SFEC_BIG_TRUCKS.JPG") | pictureList.kif 5080-5080 | Truck tractor is a subclass of truck |
| (externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Cronacher.haltend.JPG") | pictureList.kif 5081-5081 | Truck tractor is a subclass of truck |
| (externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 1/ 16/ 007SFEC_BIG_TRUCKS.JPG") | pictureList.kif 5082-5082 | Truck tractor is a subclass of truck |
| (externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Road_Train2.jpg") | pictureList.kif 5083-5083 | Truck tractor is a subclass of truck |
| (externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ 003SFEC_BIG_TRUCKS.JPG") | pictureList.kif 5084-5084 | Truck tractor is a subclass of truck |
| (externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ 005SFEC_BIG_TRUCKS.JPG") | pictureList.kif 5085-5085 | Truck tractor is a subclass of truck |
| (externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Truck.car.transporter.arp.750pix.jpg") | pictureList.kif 5086-5086 | Truck tractor is a subclass of truck |
| appearance as argument number 2 |
|
|
| 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 1986-1994 | If X is an instance of tractor trailer, then there exist Y, Z such that Y is an instance of truck tractor, Z is an instance of truck trailer, Y is a part of X, Z is a part of X, and Y is connected to Z |
|
|
|