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 1828-1829
(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
(subclass TractorTrailer RoadVehicle) Transportation.kif 1827-1827 Tractor trailer is a subclass of road vehicle

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


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

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 1831-1839


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