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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpineCar

Sigma KEE - SpineCar
SpineCar

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


(documentation SpineCar EnglishLanguage "SpineCars are articulated Flatcars used to carry trailers or containers.") Transportation.kif 2235-2236
(subclass SpineCar Flatcar) Transportation.kif 2234-2234

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


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


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