Muscle |
appearance as argument number 1 |
(documentation Muscle ChineseLanguage "这是只在 Animal 出现的非坚硬的 Tissue,它大致由收缩 细胞所组成。") | chinese_format.kif 3528-3529 | |
(externalImage Muscle "http://upload.wikimedia.org/wikipedia/commons/c/c3/ Arm_muscles_front_superficial.png") | pictureList.kif 135-135 | |
(subclass Muscle BodyPart) | Merge.kif 15229-15229 | Muscle ist eine teilkategorie von BodyPart |
appearance as argument number 2 |
appearance as argument number 3 |
(domainSubclass antagonistMuscles 1 Muscle) | Mid-level-ontology.kif 10661-10661 | Die Zahl 1 Argument von antagonistMuscles ist eine teilkategorie von Muscle %n{nicht} |
(domainSubclass antagonistMuscles 2 Muscle) | Mid-level-ontology.kif 10662-10662 | Die Zahl 2 Argument von antagonistMuscles ist eine teilkategorie von Muscle %n{nicht} |
(domainSubclass ennervates 2 Muscle) | Anatomy.kif 1921-1921 | Die Zahl 2 Argument von ennervates ist eine teilkategorie von Muscle %n{nicht} |
(domainSubclass muscleInsertion 1 Muscle) | Anatomy.kif 1736-1736 | Die Zahl 1 Argument von muscleInsertion ist eine teilkategorie von Muscle %n{nicht} |
(domainSubclass muscleOrigin 1 Muscle) | Anatomy.kif 1686-1686 | Die Zahl 1 Argument von muscleOrigin ist eine teilkategorie von Muscle %n{nicht} |
antecedent |
(=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle)) |
Mid-level-ontology.kif 10404-10410 |
|
(=> (and (instance ?MC MuscleRelaxing) (patient ?MC ?M) (instance ?M Muscle) (holdsDuring (ImmediatePastFn (WhenFn ?MC)) (length ?M (MeasureFn ?N1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?MC)) (length ?M (MeasureFn ?N2 ?U)))) (greaterThan ?N2 ?N1)) |
Mid-level-ontology.kif 10555-10570 |
|
(=> (and (instance ?MC MuscularContraction) (patient ?MC ?M) (instance ?M Muscle) (holdsDuring (ImmediatePastFn (WhenFn ?MC)) (length ?M (MeasureFn ?N1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?MC)) (length ?M (MeasureFn ?N2 ?U)))) (greaterThan ?N1 ?N2)) |
Mid-level-ontology.kif 10533-10548 |
|
(=> (instance ?M Muscle) (material MuscleTissue Muscle)) |
Merge.kif 15231-15233 |
|
consequent |
(=> (and (instance ?E Extension) (moves ?E ?BP)) (exists (?M ?MC) (and (instance ?M Muscle) (instance ?MC MuscularContraction) (instrument ?E ?M) (connected ?M ?BP) (subProcess ?MC ?E)))) |
Mid-level-ontology.kif 10647-10657 |
|
(=> (and (instance ?F Flexion) (moves ?F ?BP)) (exists (?M ?MC) (and (instance ?M Muscle) (instance ?MC MuscularContraction) (instrument ?F ?M) (connected ?M ?BP) (subProcess ?MC ?F)))) |
Mid-level-ontology.kif 10607-10617 |
|
(=> (and (instance ?HA HeartAttack) (instance ?H Heart) (located ?HA ?H)) (exists (?M) (and (instance ?M Muscle) (part ?M ?H) (not (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (during ?BF (WhenFn ?HA)) (destination ?BF ?M))))))) |
Mid-level-ontology.kif 11368-11385 |
|
(=> (attribute ?ORGANISM (instance ?P (ParalysisFn ?PART))) (exists (?MUSCLE) (and (instance ?MUSCLE Muscle) (part ?MUSCLE ?PART) (part ?PART ?ORGANISM) (not (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ORGANISM) (patient ?MOTION ?MUSCLE))))))) |
Mid-level-ontology.kif 6330-6344 |
|
(=> (attribute ?ORGANISM Paralysis) (exists (?MUSCLE) (and (instance ?MUSCLE Muscle) (part ?MUSCLE ?ORGANISM) (not (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ORGANISM) (patient ?MOTION ?MUSCLE))))))) |
Mid-level-ontology.kif 6307-6318 |
|
(=> (instance ?M Muscle) (material MuscleTissue Muscle)) |
Merge.kif 15231-15233 |
|
(=> (instance ?P ReflexiveProcess) (exists (?M) (and (instance ?M Muscle) (patient ?P ?M)))) |
Mid-level-ontology.kif 19992-19997 |
|
(=> (instance ?T Tendon) (exists (?M ?B) (and (instance ?M Muscle) (instance ?B Bone) (connects ?T ?M ?B)))) |
Mid-level-ontology.kif 9449-9455 |
|