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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpinousProcess
SpinousProcess

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 979-979 muscleInsertion InterspinalesMuscle and SpinousProcess
No TPTP formula. May not be expressible in strict first order. Muscles.kif 964-964 muscleInsertion MultifidusMuscle and SpinousProcess
No TPTP formula. May not be expressible in strict first order. Muscles.kif 971-971 muscleInsertion RotatoresMuscle and SpinousProcess
No TPTP formula. May not be expressible in strict first order. Muscles.kif 916-916 muscleInsertion SpinalisMuscle and SpinousProcess
No TPTP formula. May not be expressible in strict first order. Muscles.kif 936-936 muscleInsertion TransversospinalesMuscle and SpinousProcess
No TPTP formula. May not be expressible in strict first order. Muscles.kif 978-978 muscleOrigin InterspinalesMuscle and SpinousProcess
No TPTP formula. May not be expressible in strict first order. Muscles.kif 915-915 muscleOrigin SpinalisMuscle and SpinousProcess


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