|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 67-67 | The insertion point of corrugator supercilii muscle is IntermediateThirdOfSkinOfEyebrow |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 567-567 | The insertion point of lateral muscle is MuscularProcessOfArytenoidCartilage |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 559-559 | The insertion point of posterior muscle is MuscularProcessOfArytenoidCartilage |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 532-532 | The insertion point of cricothyroid muscle is InferiorCornuAndLaminaOfThyroidCartilage |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1169-1169 | The insertion point of deep transverse perineal muscle is ItsFellowOfOppositeSide |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1271-1271 | The insertion point of deltoid muscle is DeltoidTuberosityOfHumerus |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 278-278 | The insertion point of depressor labii inferioris muscle is IntegumentOfLowerLipOrbicularisOrisFibersItsFellowOfOppositeSide |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 220-220 | The insertion point of depressor septi nasi muscle is NasalSeptumAndBackPartOfAlarPartOfNasalis |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 75-75 | The insertion point of depressor supercilii muscle is MedialThirdOfSkinOfEyebrow |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 599-599 | The insertion point of digastric muscle is hyoid bone |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2212-2212 | The insertion point of dorsal interossei muscle is ProximalPhalanx |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2120-2120 | The insertion point of dorsal interossei of foot muscle is ProximalPhalanges |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 886-886 | The insertion point of iliocostalis muscle is ThoracicVertebra |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1509-1509 | The insertion point of extensor carpi radialis brevis muscle is BaseOf3RdMetacarpal |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1500-1500 | The insertion point of extensor carpi radialis longus muscle is SecondMetacarpal |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1483-1483 | The insertion point of extensor carpi ulnaris muscle is FifthMetacarpal |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1474-1474 | The insertion point of extensor digiti minimi muscle is ExtensorExpansionLocatedAtBaseOfProximalPhalanxOnDorsalSide |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2104-2104 | The insertion point of extensor digitorum brevis is Toes |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1990-1990 | The insertion point of extensor digitorum longus muscle is MiddleAndDistalPhalangesOfLateralFourDigits |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1463-1463 | The insertion point of extensor digitorum muscle is SecondNd5ThPhalanges |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2112-2112 | The insertion point of extensor hallucis brevis muscle is BaseOfProximalPhalanxOfBigToe |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1981-1981 | The insertion point of extensor hallucis longus muscle is DorsalSideOfBaseOfDistalPhalanxOfHallux |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1531-1531 | The insertion point of extensor indicis muscle is IndexFingerExtensorHood |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1547-1547 | The insertion point of extensor pollicis brevis muscle is ProximalPhalanxOfThumb |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1556-1556 | The insertion point of extensor pollicis longus muscle is DistalPhalanxOfThumb |
| 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