Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TruckTrailer

Sigma KEE - TruckTrailer
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 TruckTrailer est une sous-classe de Wagon

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage TruckTrailer "卡车拖车") domainEnglishFormat.kif 59300-59300
(termFormat ChineseTraditionalLanguage TruckTrailer "卡車拖車") domainEnglishFormat.kif 59299-59299
(termFormat EnglishLanguage TruckTrailer "truck trailer") domainEnglishFormat.kif 59298-59298

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners