| 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 15275-15275 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass antagonistMuscles 1 Muscle) | Mid-level-ontology.kif 10688-10688 | |
| (domainSubclass antagonistMuscles 2 Muscle) | Mid-level-ontology.kif 10689-10689 | |
| (domainSubclass ennervates 2 Muscle) | Anatomy.kif 1921-1921 | |
| (domainSubclass muscleInsertion 1 Muscle) | Anatomy.kif 1736-1736 | |
| (domainSubclass muscleOrigin 1 Muscle) | Anatomy.kif 1686-1686 |
| antecedent |
|
|
| (=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle)) |
Mid-level-ontology.kif 10431-10437 | |
| (=> (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 10582-10597 | |
| (=> (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 10560-10575 | |
| (=> (instance ?M Muscle) (material MuscleTissue Muscle)) |
Merge.kif 15277-15279 |
| 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 10674-10684 | |
| (=> (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 10634-10644 | |
| (=> (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 11395-11412 | |
| (=> (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 6324-6338 | |
| (=> (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 6301-6312 | |
| (=> (instance ?M Muscle) (material MuscleTissue Muscle)) |
Merge.kif 15277-15279 | |
| (=> (instance ?P ReflexiveProcess) (exists (?M) (and (instance ?M Muscle) (patient ?P ?M)))) |
Mid-level-ontology.kif 20019-20024 | |
| (=> (instance ?T Tendon) (exists (?M ?B) (and (instance ?M Muscle) (instance ?B Bone) (connects ?T ?M ?B)))) |
Mid-level-ontology.kif 9476-9482 |
|
|
|