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 15251-15251 | 子類 Muscle and BodyPart |
appearance as argument number 2 |
appearance as argument number 3 |
(domainSubclass antagonistMuscles 1 Muscle) | Mid-level-ontology.kif 10660-10660 | 域子類 antagonistMuscles, 1 and Muscle |
(domainSubclass antagonistMuscles 2 Muscle) | Mid-level-ontology.kif 10661-10661 | 域子類 antagonistMuscles, 2 and Muscle |
(domainSubclass ennervates 2 Muscle) | Anatomy.kif 1921-1921 | 域子類 ennervates, 2 and Muscle |
(domainSubclass muscleInsertion 1 Muscle) | Anatomy.kif 1736-1736 | 域子類 muscleInsertion, 1 and Muscle |
(domainSubclass muscleOrigin 1 Muscle) | Anatomy.kif 1686-1686 | 域子類 muscleOrigin, 1 and Muscle |
antecedent |
(=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle)) |
Mid-level-ontology.kif 10403-10409 |
|
(=> (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 10554-10569 | |
(=> (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 10532-10547 | |
(=> (instance ?M Muscle) (material MuscleTissue Muscle)) |
Merge.kif 15253-15255 |
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 10646-10656 | |
(=> (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 10606-10616 | |
(=> (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 11367-11384 |
|
(=> (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 6329-6343 | |
(=> (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 6306-6317 |
|
(=> (instance ?M Muscle) (material MuscleTissue Muscle)) |
Merge.kif 15253-15255 | |
(=> (instance ?P ReflexiveProcess) (exists (?M) (and (instance ?M Muscle) (patient ?P ?M)))) |
Mid-level-ontology.kif 19991-19996 | |
(=> (instance ?T Tendon) (exists (?M ?B) (and (instance ?M Muscle) (instance ?B Bone) (connects ?T ?M ?B)))) |
Mid-level-ontology.kif 9448-9454 |