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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HepatitisA

Sigma KEE - Calcaneus
Calcaneus

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 2016-2016 The insertion point of gastrocnemius muscle is Calcaneus
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2103-2103 The origin of extensor digitorum brevis is Calcaneus
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2111-2111 The origin of extensor hallucis brevis muscle is Calcaneus
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2157-2157 The origin of quadratus plantae muscle is Calcaneus


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