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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - TruckTractor
TruckTractor(truck tractor)
more pictures...

appearance as argument number 1

(documentation TruckTractor EnglishLanguage "TruckTractor is the subclass of Trucks that are used to tow truck trailers. Truck tractors are the cab portions of tractor-trailers. See also TruckTrailer.") Transportation.kif 2027-2029
(externalImage TruckTractor " 1/ 11/ Road_Train2.jpg") pictureList.kif 5084-5084
(externalImage TruckTractor " 1/ 16/ 007SFEC_BIG-TRUCKS.JPG") pictureList.kif 5083-5083
(externalImage TruckTractor " 1/ 18/ 003SFEC_BIG-TRUCKS.JPG") pictureList.kif 5085-5085
(externalImage TruckTractor " 1/ 1b/") pictureList.kif 5087-5087
(externalImage TruckTractor " 9/ 91/ 002SFEC_BIG-TRUCKS.JPG") pictureList.kif 5081-5081
(externalImage TruckTractor " b/ b5/ Cronacher.haltend.JPG") pictureList.kif 5082-5082
(externalImage TruckTractor " c/ c3/ Backing_it_in_2.jpg") pictureList.kif 4944-4944
(externalImage TruckTractor " e/ e6/ 005SFEC_BIG-TRUCKS.JPG") pictureList.kif 5086-5086
(subclass TruckTractor Truck) Transportation.kif 2026-2026 Truck tractor is a subclass of truck

appearance as argument number 2

(subclass PeterbiltTruck TruckTractor) Cars.kif 5012-5012 Peterbilt truck is a subclass of truck tractor
(termFormat ChineseLanguage TruckTractor "卡车拖拉机") domainEnglishFormat.kif 59294-59294
(termFormat ChineseTraditionalLanguage TruckTractor "卡車拖拉機") domainEnglishFormat.kif 59293-59293
(termFormat EnglishLanguage TruckTractor "truck tractor") domainEnglishFormat.kif 59292-59292


    (instance ?TT TractorTrailer)
    (exists (?TRAC ?TRAIL)
            (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