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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SimmonsWheelRim
SimmonsWheelRim(Simmons wheel)

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


(documentation SimmonsWheelRim EnglishLanguage "A WheelRim Manufactured by SimmonsCorp.") Cars.kif 4901-4902
(manufacturer SimmonsWheelRim SimmonsCorp) Cars.kif 4905-4905 The maker of Simmons wheel is Simmons corp
(subclass SimmonsWheelRim WheelRim) Cars.kif 4900-4900 Simmons wheel is a subclass of rim

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


(termFormat EnglishLanguage SimmonsWheelRim "Simmons rim") Cars.kif 4903-4903
(termFormat EnglishLanguage SimmonsWheelRim "Simmons wheel") Cars.kif 4904-4904


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