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 TruckTractor est une sous-classe de Truck

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


(subclass PeterbiltTruck TruckTractor) Cars.kif 5012-5012 PeterbiltTruck est une sous-classe de TruckTractor
(termFormat ChineseLanguage TruckTractor "卡车拖拉机") domainEnglishFormat.kif 59294-59294
(termFormat ChineseTraditionalLanguage TruckTractor "卡車拖拉機") domainEnglishFormat.kif 59293-59293
(termFormat EnglishLanguage TruckTractor "truck tractor") domainEnglishFormat.kif 59292-59292

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