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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Railcar
Railcar

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


(disjoint Railcar PoweredVehicle) Transportation.kif 2081-2081 Railcar ist dijunkt von PoweredVehicle %n{nicht}
(documentation Railcar EnglishLanguage "Railcar is the subclass of RollingStock that includes all non-locomotive, non-self-powered RailVehicles.") Transportation.kif 2082-2083
(subclass Railcar RollingStock) Transportation.kif 2080-2080 Railcar ist eine teilkategorie von RollingStock

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


(termFormat ChineseLanguage Railcar "轨道车") domainEnglishFormat.kif 48610-48610
(termFormat ChineseTraditionalLanguage Railcar "軌道車") domainEnglishFormat.kif 48609-48609
(termFormat EnglishLanguage Railcar "railcar") domainEnglishFormat.kif 48608-48608


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