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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TractorTrailer
TractorTrailer

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

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


(termFormat ChineseLanguage TractorTrailer "牵引车拖车") domainEnglishFormat.kif 58675-58675
(termFormat ChineseTraditionalLanguage TractorTrailer "牽引車拖車") domainEnglishFormat.kif 58674-58674
(termFormat EnglishLanguage TractorTrailer "tractor trailer") domainEnglishFormat.kif 58673-58673

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners