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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectrifiedRailwayCar

Sigma KEE - ElectrifiedRailwayCar
ElectrifiedRailwayCar

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


(documentation ElectrifiedRailwayCar EnglishLanguage "ElectrifiedRailwayCar is the subclass of railway cars that are powered by electricity, which is provided to the car through an overhead link or electrified third rail.") Transportation.kif 2168-2170
(externalImage ElectrifiedRailwayCar "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 96/ Kt8d5.jpg") pictureList.kif 2465-2465
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2167-2167
(subclass ElectrifiedRailwayCar PoweredVehicle) Transportation.kif 2166-2166
(subclass ElectrifiedRailwayCar RollingStock) Transportation.kif 2165-2165

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


(subclass Streetcar ElectrifiedRailwayCar) Transportation.kif 2209-2209
(termFormat ChineseLanguage ElectrifiedRailwayCar "电气化铁路车") domainEnglishFormat.kif 21672-21672
(termFormat ChineseTraditionalLanguage ElectrifiedRailwayCar "電氣化鐵路車") domainEnglishFormat.kif 21671-21671
(termFormat EnglishLanguage ElectrifiedRailwayCar "electrified railway car") domainEnglishFormat.kif 21670-21670


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 is open source software produced by Articulate Software and its partners