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

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


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

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