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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SimmonsWheelRim

Sigma KEE - SimmonsWheelRim
SimmonsWheelRim(Simmons wheel)

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4848-4849
No TPTP formula. May not be expressible in strict first order. Cars.kif 4852-4852 The maker of Simmons wheel is Simmons corp
No TPTP formula. May not be expressible in strict first order. Cars.kif 4847-4847 Simmons wheel is a subclass of rim

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4850-4850
No TPTP formula. May not be expressible in strict first order. 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