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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpineCar
SpineCar

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


(documentation SpineCar EnglishLanguage "SpineCars are articulated Flatcars used to carry trailers or containers.") Transportation.kif 2229-2230
(subclass SpineCar Flatcar) Transportation.kif 2228-2228

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


(termFormat ChineseLanguage SpineCar "脊柱车") domainEnglishFormat.kif 54648-54648
(termFormat ChineseTraditionalLanguage SpineCar "脊柱車") domainEnglishFormat.kif 54647-54647
(termFormat EnglishLanguage SpineCar "spine car") domainEnglishFormat.kif 54646-54646


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