| TruckTrailer
| |
| appearance as argument number 1 |
|
|
| (documentation TruckTrailer EnglishLanguage "TruckTrailer is the subclass of Wagons that are towed by TruckTractors. These are the trailers used in tractor-trailer (semi-trailer) rigs.") | Transportation.kif 1982-1984 | |
| (externalImage TruckTrailer "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c0/ Presenningstrailer.JPG/ 180px-Presenningstrailer.JPG") | pictureList.kif 1274-1274 | |
| (subclass TruckTrailer Wagon) | Transportation.kif 1981-1981 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TruckTrailer "卡车拖车") | domainEnglishFormat.kif 59315-59315 | |
| (termFormat ChineseTraditionalLanguage TruckTrailer "卡車拖車") | domainEnglishFormat.kif 59314-59314 | |
| (termFormat EnglishLanguage TruckTrailer "truck trailer") | domainEnglishFormat.kif 59313-59313 |
| 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 |
|
|
|