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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TractorTrailer
TractorTrailer(tractor trailer)
articulated_lorry, rig, semi, tandem_trailer, tractor_trailer, trailer_truck, trucking_rig

appearance as argument number 1
-------------------------


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

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


(termFormat ChineseLanguage TractorTrailer "牵引车拖车") domainEnglishFormat.kif 58638-58638
(termFormat ChineseTraditionalLanguage TractorTrailer "牽引車拖車") domainEnglishFormat.kif 58637-58637
(termFormat EnglishLanguage TractorTrailer "tractor trailer") domainEnglishFormat.kif 58636-58636

antecedent
-------------------------


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