muscleInsertion |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1731-1733 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1736-1736 | muscleInsertion 的 1 数量 是 肌肉 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1737-1737 | muscleInsertion 的 2 数量 是 身体部位 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1735-1735 | muscleInsertion 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1738-1738 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1739-1739 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1745-1756 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1758-1780 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1741-1743 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1611-1611 | muscleInsertion AbductorDigitiMinimiMuscle and BaseOfProximalPhalanxOf5ThDigitOnUlnarOrMedialSide |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2147-2147 | muscleInsertion AbductorDigitiMinimiMuscle and PhalangesOfFifthToe |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2130-2130 | muscleInsertion AbductorHallucisMuscle and MedialSideOfBaseOfProximalPhalanxOfFirstDigit |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1584-1584 | muscleInsertion AbductorPollicisBrevisMuscle and RadialBaseOfProximalPhalanxOfThumbAndThumbExtensors |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1538-1538 | muscleInsertion AbductorPollicisLongusMuscle and FirstMetacarpal |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1593-1593 | muscleInsertion AbductorPollicisMuscle and RadialBaseOfProximalPhalanxOfThumbAndUlnarSesamoid |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1941-1941 | muscleInsertion AdductorBrevisMuscle and LesserTrochanterAndLineaAsperaOfFemur |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2183-2183 | muscleInsertion AdductorHallucisMuscle and PhalanxOfBigToe |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1950-1950 | muscleInsertion AdductorLongusMuscle and MiddleThirdOfLineaAspera |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1959-1959 | muscleInsertion AdductorMagnusMuscle and FemurAdductorTubercleOfFemur |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1908-1908 | muscleInsertion AdductorMusclesOfTheHipMuscle and FemurTibia |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1372-1372 | muscleInsertion AnconeusMuscle and LateralSurfaceOfOlecranonSuperiorPartOfPosteriorUlna |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1812-1812 | muscleInsertion ArticularisGenusMuscle and SuprapatellarBursa |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 542-542 | muscleInsertion ArytenoidTransverseAndObliqueMuscle and ArytenoidCartilageOnOppositeSide |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 166-166 | muscleInsertion AuricularisAnteriorMuscle and FrontOfHelixOfEar |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 182-182 | muscleInsertion AuricularisPosteriorMuscle and DorsalPartOfAuricle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 174-174 | muscleInsertion AuricularisSuperiorMuscle and DorsocranialSurfaceOfAuricle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1343-1343 | muscleInsertion BicepsBrachiiMuscle and RadialTuberosity |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1875-1875 | muscleInsertion BicepsFemorisMuscle and HeadOfFibula |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1351-1351 | muscleInsertion BrachialisMuscle and CoronoidProcessOfUlnaTuberosityOfUlna |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1492-1492 | muscleInsertion BrachioradialisMuscle and RadialStyloidProcessDistalRadius |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 296-296 | muscleInsertion BuccinatorMuscle and FibresOfOrbicularisOris |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 396-396 | muscleInsertion ChondroglossusMuscle and IntrinsicMuscularFibersOfTongue |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1090-1090 | muscleInsertion CoccygeusMuscle and Coccyx |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1333-1333 | muscleInsertion CoracobrachialisMuscle and MedialSurfaceOfHumerus |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |