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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PatellaAndTibialTuberosityViaPatellarTendon

Sigma KEE - PatellaAndTibialTuberosityViaPatellarTendon
PatellaAndTibialTuberosityViaPatellarTendon

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1830-1830 muscleInsertion QuadricepsFemorisMuscle and PatellaAndTibialTuberosityViaPatellarTendon
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1839-1839 muscleInsertion RectusFemorisMuscle and PatellaAndTibialTuberosityViaPatellarTendon
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1857-1857 muscleInsertion VastusIntermediusMuscle and PatellaAndTibialTuberosityViaPatellarTendon
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1848-1848 muscleInsertion VastusLateralisMuscle and PatellaAndTibialTuberosityViaPatellarTendon
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1866-1866 muscleInsertion VastusMedialisMuscle and PatellaAndTibialTuberosityViaPatellarTendon


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