| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2090-2090 | Tibialis anterior muscle and fibularis longus muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2022-2022 | Tibialis anterior muscle and gastrocnemius muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2042-2042 | Tibialis anterior muscle and plantaris muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2033-2033 | Tibialis anterior muscle and soleus muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2079-2079 | Tibialis anterior muscle and tibialis posterior muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1975-1975 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1970-1970 | The insertion point of tibialis anterior muscle is MedialCuneiformAndFirstMetatarsalBonesOfFoot |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1969-1969 | The origin of tibialis anterior muscle is BodyOfTibia |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1967-1967 | Tibialis anterior muscle is a subclass of muscle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1976-1976 | FibularisLongusGastrocnemiusSoleusPlantarisTibialisPosteriorMuscle and tibialis anterior muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1972-1972 | ennervates deep fibular nerve and tibialis anterior muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1971-1971 | suppliesBlood anterior tibial artery and tibialis anterior muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1968-1968 |
|
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