muscleOrigin |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1679-1683 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1686-1686 | Le nombre 1 argument de muscleOrigin est une sous-classe de muscle |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1687-1687 | Le nombre 2 argument de muscleOrigin est une sous-classe de partie du corps |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1685-1685 | muscleOrigin est une instance de pr�dicat binaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1688-1688 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1689-1689 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1695-1706 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1708-1729 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1691-1693 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1610-1610 | muscleOrigin AbductorDigitiMinimiMuscle and Pisiform |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2146-2146 | muscleOrigin AbductorDigitiMinimiMuscle and PlantarAponeurosis |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2129-2129 | muscleOrigin AbductorHallucisMuscle and MedialProcessOfCalcaneusFlexorRetinaculumPlantarAponeurosis |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1583-1583 | muscleOrigin AbductorPollicisBrevisMuscle and FlexorRetinaculumOfHandScaphoidAndTrapezium |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1537-1537 | muscleOrigin AbductorPollicisLongusMuscle and Ulna |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1592-1592 | muscleOrigin AbductorPollicisMuscle and AnteriorBoidyOfThirdMetacarpal |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1940-1940 | muscleOrigin AdductorBrevisMuscle and AnteriorSurfaceOfInferiorPubicRamus11 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2182-2182 | muscleOrigin AdductorHallucisMuscle and ProximalEndOfmetatarsal |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1949-1949 | muscleOrigin AdductorLongusMuscle and PubicBodyJustBelowPubicCrest |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1907-1907 | muscleOrigin AdductorMusclesOfTheHipMuscle and Pubis |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 243-243 | muscleOrigin AlarPartDilatorNarisMuscle and AlveolarYokeOfIncisorTooth |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 244-244 | muscleOrigin AlarPartDilatorNarisMuscle and SkinNearMarginOfNostril |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1371-1371 | muscleOrigin AnconeusMuscle and LateralEpicondyleOfHumerus |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1811-1811 | muscleOrigin ArticularisGenusMuscle and Femur |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 541-541 | muscleOrigin ArytenoidTransverseAndObliqueMuscle and ArytenoidCartilageOnOneSide |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 165-165 | muscleOrigin AuricularisAnteriorMuscle and TemporalFascia |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 181-181 | muscleOrigin AuricularisPosteriorMuscle and MastoidProcessOfTemporalBoneTendonOfSternocleidomastoid |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 173-173 | muscleOrigin AuricularisSuperiorMuscle and EpicranialAponeurosis |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1342-1342 | muscleOrigin BicepsBrachiiMuscle and CoracoidProcessOfScapula |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1874-1874 | muscleOrigin BicepsFemorisMuscle and IschialTuberosity |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1350-1350 | muscleOrigin BrachialisMuscle and AnteriorSurfaceOfHumerusMainlyDistalHalf |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1491-1491 | muscleOrigin BrachioradialisMuscle and LateralSupracondylarRidgeOfHumerus |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 295-295 | muscleOrigin BuccinatorMuscle and AlveolarProcessesOfMaxillaAndMandiblePterygomandibularRaphe |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1150-1150 | muscleOrigin BulbospongiosusMuscle and PerinealRaphe |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 395-395 | muscleOrigin ChondroglossusMuscle and LesserCornuAndBodyOfHyoidBone |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |