| 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 15079-15079 |
| appearance as argument number 2 |
|
|
| (subclass Bicep Muscle) | Mid-level-ontology.kif 10649-10649 | |
| (subclass CalfMuscle Muscle) | Mid-level-ontology.kif 10667-10667 | |
| (subclass DeltoidMuscle Muscle) | Mid-level-ontology.kif 10688-10688 | |
| (subclass GluteusMaximusMuscle Muscle) | Mid-level-ontology.kif 10691-10691 | |
| (subclass HamstringMuscle Muscle) | Mid-level-ontology.kif 10680-10680 | |
| (subclass InvoluntaryMuscle Muscle) | Mid-level-ontology.kif 10300-10300 | |
| (subclass LatissimusDorsi Muscle) | Mid-level-ontology.kif 10641-10641 | |
| (subclass Pectoralis Muscle) | Mid-level-ontology.kif 10634-10634 | |
| (subclass ShinMuscle Muscle) | Mid-level-ontology.kif 10674-10674 | |
| (subclass ThighMuscle Muscle) | Mid-level-ontology.kif 10659-10659 | |
| (subclass Tricep Muscle) | Mid-level-ontology.kif 10654-10654 | |
| (subclass VoluntaryMuscle Muscle) | Mid-level-ontology.kif 10288-10288 | |
| (termFormat ChineseLanguage Muscle "肌肉") | chinese_format.kif 1027-1027 | |
| (termFormat EnglishLanguage Muscle "muscle") | english_format.kif 1266-1266 |
| appearance as argument number 3 |
|
|
| (domainSubclass antagonistMuscles 1 Muscle) | Mid-level-ontology.kif 10530-10530 | |
| (domainSubclass antagonistMuscles 2 Muscle) | Mid-level-ontology.kif 10531-10531 |
| antecedent |
|
|
| (=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle)) |
Mid-level-ontology.kif 10292-10298 | |
| (=> (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 10424-10439 | |
| (=> (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 10402-10417 | |
| (=> (instance ?M Muscle) (material MuscleTissue Muscle)) |
Merge.kif 15081-15083 |
| 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 10516-10526 | |
| (=> (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 10476-10486 | |
| (=> (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 11233-11250 | |
| (=> (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 6290-6304 | |
| (=> (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 6267-6278 | |
| (=> (instance ?M Muscle) (material MuscleTissue Muscle)) |
Merge.kif 15081-15083 | |
| (=> (instance ?P ReflexiveProcess) (exists (?M) (and (instance ?M Muscle) (patient ?P ?M)))) |
Mid-level-ontology.kif 19774-19779 | |
| (=> (instance ?T Tendon) (exists (?M ?B) (and (instance ?M Muscle) (instance ?B Bone) (connects ?T ?M ?B)))) |
Mid-level-ontology.kif 9403-9409 |
|
|
|