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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElectrifiedRailwayCar
ElectrifiedRailwayCar(electrified railway car)

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 2343-2345
(externalImage ElectrifiedRailwayCar "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 96/ Kt8d5.jpg") pictureList.kif 2464-2464
(subclass ElectrifiedRailwayCar ElectricDevice) Transportation.kif 2342-2342 Electrified railway car is a subclass of electric device
(subclass ElectrifiedRailwayCar PoweredVehicle) Transportation.kif 2341-2341 Electrified railway car is a subclass of powered vehicle
(subclass ElectrifiedRailwayCar RollingStock) Transportation.kif 2340-2340 Electrified railway car is a subclass of rolling stock

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


(subclass Streetcar ElectrifiedRailwayCar) Transportation.kif 2384-2384 Streetcar is a subclass of electrified railway car
(termFormat ChineseLanguage ElectrifiedRailwayCar "电气化铁路车") domainEnglishFormat.kif 21687-21687 Streetcar is a subclass of electrified railway car
(termFormat ChineseTraditionalLanguage ElectrifiedRailwayCar "電氣化鐵路車") domainEnglishFormat.kif 21686-21686 Streetcar is a subclass of electrified railway car
(termFormat EnglishLanguage ElectrifiedRailwayCar "electrified railway car") domainEnglishFormat.kif 21685-21685 Streetcar is a subclass of electrified railway car


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