|
|
   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 1842-1844 | |
| (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 1841-1841 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TruckTrailer "卡车拖车") | domainEnglishFormat.kif 59302-59302 | |
| (termFormat ChineseTraditionalLanguage TruckTrailer "卡車拖車") | domainEnglishFormat.kif 59301-59301 | |
| (termFormat EnglishLanguage TruckTrailer "truck trailer") | domainEnglishFormat.kif 59300-59300 |
| 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 |
|
|
|
