|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 343-343 | Platysma muscle and masseter muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 354-354 | Platysma muscle and temporalis muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 570-570 | PosteriorCricoarytenoidMuscle and lateral muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1389-1389 | Pronator teres muscle and supinator muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1526-1526 | PronatorTeresPronatorQuadratusMuscle and supinator muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1881-1881 | Quadriceps femoris muscle and biceps femoris muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1903-1903 | Quadriceps femoris muscle and semimembranosus muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1892-1892 | Quadriceps femoris muscle and semitendinosus muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 751-751 | Serratus anterior muscle and levator scapulae muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1216-1216 | Serratus anterior muscle and rhomboid major muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1225-1225 | Serratus anterior muscle and rhomboid minor muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1206-1206 | Serratus anterior muscle and rhomboids muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 921-921 | Spinalis muscle and RectusAbdominusMuscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1308-1308 | SubscapularisPectoralisMajorLatissimusDorsiMuscle and infraspinatus muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1317-1317 | SubscapularisPectoralisMajorLatissimusDorsiMuscle and teres minor muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1438-1438 | Supinator muscle and pronator quadratus muscle are antagonist muscles |
| 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 2099-2099 | Tibialis posterior muscle and fibularis brevis muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1194-1194 | Trapezius muscle and latissimus dorsi muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1191-1191 | Trapezius muscle and serratus anterior muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1367-1367 | Triceps brachii muscle and BicepsBrachialiiMuscle are antagonist muscles |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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