TreeView Knowledge Base Browser

appearance as argument number 1

(documentation muscleInsertion EnglishLanguage "The insertion of a muscle is an attachment site that connects the MMuscle to a Bone. This point is typically distal to the body and moves during MuscularContraction (relative to StandardAnatomicalPosition).[from Wikipedia]")	Anatomy.kif 1731-1733
(domainSubclass muscleInsertion 1 Muscle)	Anatomy.kif 1736-1736
(domainSubclass muscleInsertion 2 BodyPart)	Anatomy.kif 1737-1737
(instance muscleInsertion BinaryPredicate)	Anatomy.kif 1735-1735

appearance as argument number 2

(format EnglishLanguage muscleInsertion "the insertion point of %1 is %2")	Anatomy.kif 1738-1738
(termFormat EnglishLanguage muscleInsertion "muscle insertion")	Anatomy.kif 1739-1739

antecedent

(=> (and (muscleInsertion ?MC ?BPC) (instance ?H Human) (attribute ?H Healthy)) (exists (?M ?BP) (and (instance ?M ?MC) (instance ?BP ?BPC) (part ?M ?H) (part ?BP ?H) (connects ?M ?BP))))	Anatomy.kif 1745-1756
(=> (and (muscleInsertion ?MC ?BPC) (instance ?H Human) (holdsDuring ?T (attribute ?H StandardAnatomicalPosition)) (attribute ?H Healthy) (instance ?C MuscularContraction) (during (WhenFn ?C) ?T) (instance ?M ?MC) (part ?M ?H) (instrument ?C ?M) (physicalEnd ?E ?M) (meetsSpatially ?E ?BP) (holdsDuring (BeginFn ?C) (located ?E ?L))) (holdsDuring (EndFn ?C) (not (located ?E ?L))))	Anatomy.kif 1758-1780
(=> (muscleInsertion ?MC ?BPC) (connectedBodyPart ?MC ?BPC))	Anatomy.kif 1741-1743

appearance as argument number 0

(muscleInsertion AbductorDigitiMinimiMuscle BaseOfProximalPhalanxOf5ThDigitOnUlnarOrMedialSide)	Muscles.kif 1611-1611
(muscleInsertion AbductorDigitiMinimiMuscle PhalangesOfFifthToe)	Muscles.kif 2147-2147
(muscleInsertion AbductorHallucisMuscle MedialSideOfBaseOfProximalPhalanxOfFirstDigit)	Muscles.kif 2130-2130
(muscleInsertion AbductorPollicisBrevisMuscle RadialBaseOfProximalPhalanxOfThumbAndThumbExtensors)	Muscles.kif 1584-1584
(muscleInsertion AbductorPollicisLongusMuscle FirstMetacarpal)	Muscles.kif 1538-1538
(muscleInsertion AbductorPollicisMuscle RadialBaseOfProximalPhalanxOfThumbAndUlnarSesamoid)	Muscles.kif 1593-1593
(muscleInsertion AdductorBrevisMuscle LesserTrochanterAndLineaAsperaOfFemur)	Muscles.kif 1941-1941
(muscleInsertion AdductorHallucisMuscle PhalanxOfBigToe)	Muscles.kif 2183-2183
(muscleInsertion AdductorLongusMuscle MiddleThirdOfLineaAspera)	Muscles.kif 1950-1950
(muscleInsertion AdductorMagnusMuscle FemurAdductorTubercleOfFemur)	Muscles.kif 1959-1959
(muscleInsertion AdductorMusclesOfTheHipMuscle FemurTibia)	Muscles.kif 1908-1908
(muscleInsertion AnconeusMuscle LateralSurfaceOfOlecranonSuperiorPartOfPosteriorUlna)	Muscles.kif 1372-1372
(muscleInsertion ArticularisGenusMuscle SuprapatellarBursa)	Muscles.kif 1812-1812
(muscleInsertion ArytenoidTransverseAndObliqueMuscle ArytenoidCartilageOnOppositeSide)	Muscles.kif 542-542
(muscleInsertion AuricularisAnteriorMuscle FrontOfHelixOfEar)	Muscles.kif 166-166
(muscleInsertion AuricularisPosteriorMuscle DorsalPartOfAuricle)	Muscles.kif 182-182
(muscleInsertion AuricularisSuperiorMuscle DorsocranialSurfaceOfAuricle)	Muscles.kif 174-174
(muscleInsertion BicepsBrachiiMuscle RadialTuberosity)	Muscles.kif 1343-1343
(muscleInsertion BicepsFemorisMuscle HeadOfFibula)	Muscles.kif 1875-1875
(muscleInsertion BrachialisMuscle CoronoidProcessOfUlnaTuberosityOfUlna)	Muscles.kif 1351-1351
(muscleInsertion BrachioradialisMuscle RadialStyloidProcessDistalRadius)	Muscles.kif 1492-1492
(muscleInsertion BuccinatorMuscle FibresOfOrbicularisOris)	Muscles.kif 296-296
(muscleInsertion ChondroglossusMuscle IntrinsicMuscularFibersOfTongue)	Muscles.kif 396-396
(muscleInsertion CoccygeusMuscle Coccyx)	Muscles.kif 1090-1090
(muscleInsertion CoracobrachialisMuscle MedialSurfaceOfHumerus)	Muscles.kif 1333-1333

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: