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	The number 1 argument of muscle insertion is a subclass of muscle
(domainSubclass muscleInsertion 2 BodyPart)	Anatomy.kif 1737-1737	The number 2 argument of muscle insertion is a subclass of body part
(instance muscleInsertion BinaryPredicate)	Anatomy.kif 1735-1735	muscle insertion is an instance of binary predicate

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	If the insertion point of a kind of muscle is a kind of body part and an object is an instance of human and healthy is an attribute of the object, then there exist another object and a third object such that the other object is an instance of a kind of muscle and the third object is an instance of a kind of body part and the other object is a part of the object and the third object is a part of the object and the other object connects the third object and
(=> (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	If the insertion point of a kind of muscle is a kind of body part and an object is an instance of human and standard anatomical position is an attribute of the object holds during a time interval and healthy is an attribute of the object and another time interval is an instance of muscular contraction and the time of existence of the other time interval takes place during the time interval and another object is an instance of a kind of muscle and the other object is a part of the object and the other object is an instrument for the other time interval and one end of the other object is a third object and the third object meets a fourth object and the third object is located at an entity holds during the beginning of the other time interval, then the third object is not located at the entity holds during the end of the other time interval
(=> (muscleInsertion ?MC ?BPC) (connectedBodyPart ?MC ?BPC))	Anatomy.kif 1741-1743	If the insertion point of a kind of body part is another kind of body part, then a a kind of body part is connected to a another kind of body part

appearance as argument number 0

(muscleInsertion AbductorDigitiMinimiMuscle BaseOfProximalPhalanxOf5ThDigitOnUlnarOrMedialSide)	Muscles.kif 1611-1611	The insertion point of abductor digiti minimi muscle is BaseOfProximalPhalanxOf5ThDigitOnUlnarOrMedialSide
(muscleInsertion AbductorDigitiMinimiMuscle PhalangesOfFifthToe)	Muscles.kif 2147-2147	The insertion point of abductor digiti minimi muscle is PhalangesOfFifthToe
(muscleInsertion AbductorHallucisMuscle MedialSideOfBaseOfProximalPhalanxOfFirstDigit)	Muscles.kif 2130-2130	The insertion point of abductor hallucis muscle is MedialSideOfBaseOfProximalPhalanxOfFirstDigit
(muscleInsertion AbductorPollicisBrevisMuscle RadialBaseOfProximalPhalanxOfThumbAndThumbExtensors)	Muscles.kif 1584-1584	The insertion point of abductor pollicis brevis muscle is RadialBaseOfProximalPhalanxOfThumbAndThumbExtensors
(muscleInsertion AbductorPollicisLongusMuscle FirstMetacarpal)	Muscles.kif 1538-1538	The insertion point of abductor pollicis longus muscle is FirstMetacarpal
(muscleInsertion AbductorPollicisMuscle RadialBaseOfProximalPhalanxOfThumbAndUlnarSesamoid)	Muscles.kif 1593-1593	The insertion point of abductor pollicis brevis muscle is RadialBaseOfProximalPhalanxOfThumbAndUlnarSesamoid
(muscleInsertion AdductorBrevisMuscle LesserTrochanterAndLineaAsperaOfFemur)	Muscles.kif 1941-1941	The insertion point of adductor brevis muscle is LesserTrochanterAndLineaAsperaOfFemur
(muscleInsertion AdductorHallucisMuscle PhalanxOfBigToe)	Muscles.kif 2183-2183	The insertion point of adductor hallucis muscle is PhalanxOfBigToe
(muscleInsertion AdductorLongusMuscle MiddleThirdOfLineaAspera)	Muscles.kif 1950-1950	The insertion point of adductor longus muscle is MiddleThirdOfLineaAspera
(muscleInsertion AdductorMagnusMuscle FemurAdductorTubercleOfFemur)	Muscles.kif 1959-1959	The insertion point of adductor magnus muscle is FemurAdductorTubercleOfFemur
(muscleInsertion AdductorMusclesOfTheHipMuscle FemurTibia)	Muscles.kif 1908-1908	The insertion point of adductor muscles of the &hip is FemurTibia
(muscleInsertion AnconeusMuscle LateralSurfaceOfOlecranonSuperiorPartOfPosteriorUlna)	Muscles.kif 1372-1372	The insertion point of anconeus muscle is LateralSurfaceOfOlecranonSuperiorPartOfPosteriorUlna
(muscleInsertion ArticularisGenusMuscle SuprapatellarBursa)	Muscles.kif 1812-1812	The insertion point of articularis genus muscle is SuprapatellarBursa
(muscleInsertion ArytenoidTransverseAndObliqueMuscle ArytenoidCartilageOnOppositeSide)	Muscles.kif 542-542	The insertion point of arytenoid (transverse and oblique) muscle is ArytenoidCartilageOnOppositeSide
(muscleInsertion AuricularisAnteriorMuscle FrontOfHelixOfEar)	Muscles.kif 166-166	The insertion point of auricularis anterior muscle is FrontOfHelixOfEar
(muscleInsertion AuricularisPosteriorMuscle DorsalPartOfAuricle)	Muscles.kif 182-182	The insertion point of auricularis posterior muscle is DorsalPartOfAuricle
(muscleInsertion AuricularisSuperiorMuscle DorsocranialSurfaceOfAuricle)	Muscles.kif 174-174	The insertion point of auricularis superior muscle is DorsocranialSurfaceOfAuricle
(muscleInsertion BicepsBrachiiMuscle RadialTuberosity)	Muscles.kif 1343-1343	The insertion point of coracobrachialis muscle is RadialTuberosity
(muscleInsertion BicepsFemorisMuscle HeadOfFibula)	Muscles.kif 1875-1875	The insertion point of biceps femoris muscle is HeadOfFibula
(muscleInsertion BrachialisMuscle CoronoidProcessOfUlnaTuberosityOfUlna)	Muscles.kif 1351-1351	The insertion point of brachialis muscle is CoronoidProcessOfUlnaTuberosityOfUlna
(muscleInsertion BrachioradialisMuscle RadialStyloidProcessDistalRadius)	Muscles.kif 1492-1492	The insertion point of brachioradialis muscle is RadialStyloidProcessDistalRadius
(muscleInsertion BuccinatorMuscle FibresOfOrbicularisOris)	Muscles.kif 296-296	The insertion point of buccinator muscle is FibresOfOrbicularisOris
(muscleInsertion ChondroglossusMuscle IntrinsicMuscularFibersOfTongue)	Muscles.kif 396-396	The insertion point of chondroglossus muscle is IntrinsicMuscularFibersOfTongue
(muscleInsertion CoccygeusMuscle Coccyx)	Muscles.kif 1090-1090	The insertion point of coccygeus muscle is coccyx
(muscleInsertion CoracobrachialisMuscle MedialSurfaceOfHumerus)	Muscles.kif 1333-1333	The insertion point of coracobrachialis muscle is 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: