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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ScaleTestCar
ScaleTestCar(scale test car)

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


(documentation ScaleTestCar EnglishLanguage "ScaleTestCars are Railcars of known weight used to test or calibrate track scales used for weighing freight.") Transportation.kif 2399-2401
(subclass ScaleTestCar RollingStock) Transportation.kif 2398-2398 Scale test car is a subclass of rolling stock

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


(termFormat ChineseLanguage ScaleTestCar "规模试验车") domainEnglishFormat.kif 51498-51498
(termFormat ChineseTraditionalLanguage ScaleTestCar "規模試驗車") domainEnglishFormat.kif 51497-51497
(termFormat EnglishLanguage ScaleTestCar "scale test car") domainEnglishFormat.kif 51496-51496


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