Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Trailer

 Sigma KEE - Trailer
Trailer(trailer)
camper_trailer, house_trailer, ice-wagon, ice_wagon, manufactured_home, mobile_home, trailer, waggon, wagon

appearance as argument number 1
-------------------------


(subclass Trailer RoadVehicle) Transportation.kif 1975-1975 Trailer is a subclass of road vehicle
(subclass Trailer UnpoweredVehicle) Transportation.kif 1976-1976 Trailer is a subclass of unpowered vehicle
(disjoint Trailer PoweredVehicle) Transportation.kif 1977-1977 Trailer is disjoint from powered vehicle
(disjoint Trailer AgentPoweredVehicle) Transportation.kif 1978-1978 Trailer is disjoint from agent powered vehicle
(documentation Trailer EnglishLanguage "Any RoadVehicle that is also an UnpoweredVehicle, and intended to be towed by a PoweredVehicle.") Transportation.kif 1979-1980 Trailer is disjoint from agent powered vehicle
(externalImage Trailer "http://upload.wikimedia.org/wikipedia/en/4/4a/Shasta_Loflyte_Trailer_in_Snow.jpg") pictureList-ImageNet.kif 574-574 Trailer is disjoint from agent powered vehicle
(externalImage Trailer "http://upload.wikimedia.org/wikipedia/commons/7/ 72/ Graffiti_trailer,_Malmö,_Sweden.jpg") pictureList-ImageNet.kif 575-575 Trailer is disjoint from agent powered vehicle
(externalImage Trailer "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 4a/ Gooseneck.jpg/ 180px_Gooseneck.jpg") pictureList.kif 1272-1272 Trailer is disjoint from agent powered vehicle

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


(termFormat EnglishLanguage Trailer "trailer") domainEnglishFormat.kif 58771-58771
(termFormat ChineseTraditionalLanguage Trailer "預告片") domainEnglishFormat.kif 58772-58772
(termFormat ChineseLanguage Trailer "预告片") domainEnglishFormat.kif 58773-58773


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners