TreeView Knowledge Base Browser

appearance as argument number 1

(subclass TruckTrailer Wagon)	Transportation.kif 1996-1996	Truck trailer is a subclass of wagon
(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 1997-1999	Truck trailer is a subclass of wagon
(externalImage TruckTrailer "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c0/ Presenningstrailer.JPG/ 180px_Presenningstrailer.JPG")	pictureList.kif 1274-1274	Truck trailer is a subclass of wagon

appearance as argument number 2

(termFormat EnglishLanguage TruckTrailer "truck trailer")	domainEnglishFormat.kif 59275-59275
(termFormat ChineseTraditionalLanguage TruckTrailer "卡車拖車")	domainEnglishFormat.kif 59276-59276
(termFormat ChineseLanguage TruckTrailer "卡车拖车")	domainEnglishFormat.kif 59277-59277

consequent

(=>
    (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