TractorTrailer - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TractorTrailer RoadVehicle)	Transportation.kif 1982-1982	Tractor trailer is a subclass of road vehicle
(documentation TractorTrailer EnglishLanguage "TractorTrailer is the subclass of RoadVehicles that are truck tractor- truck trailer combinations.")	Transportation.kif 1983-1984	Tractor trailer is a subclass of road vehicle
(externalImage TractorTrailer "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 3/ 3f/ Artic.lorry.arp.750pix.jpg/ 180px_Artic.lorry.arp.750pix.jpg")	pictureList.kif 1271-1271	Tractor trailer is a subclass of road vehicle

appearance as argument number 2

(termFormat EnglishLanguage TractorTrailer "tractor trailer")	domainEnglishFormat.kif 58729-58729
(termFormat ChineseTraditionalLanguage TractorTrailer "牽引車拖車")	domainEnglishFormat.kif 58730-58730
(termFormat ChineseLanguage TractorTrailer "牵引车拖车")	domainEnglishFormat.kif 58731-58731

antecedent

(=>
    (instance ?TT TractorTrailer)
    (exists (?TRAC ?TRAIL)
        (and
            (instance ?TRAC TruckTractor)
            (instance ?TRAIL TruckTrailer)
            (part ?TRAC ?TT)
            (part ?TRAIL ?TT)
            (connected ?TRAC ?TRAIL))))

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