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	Le nombre 1 argument de muscleInsertion est une sous-classe de muscle
(domainSubclass muscleInsertion 2 BodyPart)	Anatomy.kif 1737-1737	Le nombre 2 argument de muscleInsertion est une sous-classe de partie du corps
(instance muscleInsertion BinaryPredicate)	Anatomy.kif 1735-1735	muscleInsertion est une instance de pr�dicat binaire

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	muscleInsertion muscle and partie du corps objet est une instance de humain Healthy est un attribut de objet objet objet objet est une instance de muscle objet est une instance de partie du corps objet est une partie de objet objet est une partie de objet objet relie objet et
(=> (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 muscle and partie du corps objet est une instance de humain StandardAnatomicalPosition est un attribut de objet pendant interval temporel Healthy est un attribut de objet interval temporel est une instance de MuscularContraction temps d'existence de interval temporel prend place pendant interval temporel objet est une instance de muscle objet est une partie de objet objet est un instrument pour interval temporel physicalEnd objet and objet objet rencontre objet objet est situ� � entit� pendant le d�but de interval temporel objet est situ� � entit� pendant la fin de interval temporel
(=> (muscleInsertion ?MC ?BPC) (connectedBodyPart ?MC ?BPC))	Anatomy.kif 1741-1743	muscleInsertion partie du corps and partie du corps connectedBodyPart partie du corps and partie du corps

appearance as argument number 0

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

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: