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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1832-1834
(externalImage TruckTrailer "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c0/ Presenningstrailer.JPG/ 180px-Presenningstrailer.JPG") pictureList.kif 1275-1275
(subclass TruckTrailer Wagon) Transportation.kif 1831-1831

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


(termFormat ChineseLanguage TruckTrailer "卡车拖车") domainEnglishFormat.kif 59284-59284
(termFormat ChineseTraditionalLanguage TruckTrailer "卡車拖車") domainEnglishFormat.kif 59283-59283
(termFormat EnglishLanguage TruckTrailer "truck trailer") domainEnglishFormat.kif 59282-59282

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 1821-1829


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



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