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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TruckTractor
TruckTractor
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 "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Road_Train2.jpg") pictureList.kif 5084-5084
(externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 1/ 16/ 007SFEC_BIG-TRUCKS.JPG") pictureList.kif 5083-5083
(externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ 003SFEC_BIG-TRUCKS.JPG") pictureList.kif 5085-5085
(externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Truck.car.transporter.arp.750pix.jpg") pictureList.kif 5087-5087
(externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ 002SFEC_BIG-TRUCKS.JPG") pictureList.kif 5081-5081
(externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Cronacher.haltend.JPG") pictureList.kif 5082-5082
(externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Backing_it_in_2.jpg") pictureList.kif 4944-4944
(externalImage TruckTractor "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ 005SFEC_BIG-TRUCKS.JPG") pictureList.kif 5086-5086
(subclass TruckTractor Truck) Transportation.kif 2026-2026

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


(subclass PeterbiltTruck TruckTractor) Cars.kif 4997-4997
(termFormat ChineseLanguage TruckTractor "卡车拖拉机") domainEnglishFormat.kif 59296-59296
(termFormat ChineseTraditionalLanguage TruckTractor "卡車拖拉機") domainEnglishFormat.kif 59295-59295
(termFormat EnglishLanguage TruckTractor "truck tractor") domainEnglishFormat.kif 59294-59294

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