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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SimmonsWheelRim

Sigma KEE - SimmonsWheelRim
SimmonsWheelRim

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


(documentation SimmonsWheelRim EnglishLanguage "A WheelRim Manufactured by SimmonsCorp.") Cars.kif 4848-4849
(manufacturer SimmonsWheelRim SimmonsCorp) Cars.kif 4852-4852 manufacturer SimmonsWheelRim and SimmonsCorp
(subclass SimmonsWheelRim WheelRim) Cars.kif 4847-4847 子類 SimmonsWheelRim and WheelRim

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


(termFormat EnglishLanguage SimmonsWheelRim "Simmons rim") Cars.kif 4850-4850
(termFormat EnglishLanguage SimmonsWheelRim "Simmons wheel") Cars.kif 4851-4851


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