| 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 14947-14947 |
| appearance as argument number 2 |
|
|
| (subclass Bicep Muscle) | Mid-level-ontology.kif 10285-10285 | |
| (subclass CalfMuscle Muscle) | Mid-level-ontology.kif 10303-10303 | |
| (subclass DeltoidMuscle Muscle) | Mid-level-ontology.kif 10324-10324 | |
| (subclass GluteusMaximusMuscle Muscle) | Mid-level-ontology.kif 10327-10327 | |
| (subclass HamstringMuscle Muscle) | Mid-level-ontology.kif 10316-10316 | |
| (subclass InvoluntaryMuscle Muscle) | Mid-level-ontology.kif 9939-9939 | |
| (subclass LatissimusDorsi Muscle) | Mid-level-ontology.kif 10277-10277 | |
| (subclass Pectoralis Muscle) | Mid-level-ontology.kif 10270-10270 | |
| (subclass ShinMuscle Muscle) | Mid-level-ontology.kif 10310-10310 | |
| (subclass ThighMuscle Muscle) | Mid-level-ontology.kif 10295-10295 | |
| (subclass Tricep Muscle) | Mid-level-ontology.kif 10290-10290 | |
| (subclass VoluntaryMuscle Muscle) | Mid-level-ontology.kif 9927-9927 | |
| (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 10169-10169 | |
| (domainSubclass antagonistMuscles 2 Muscle) | Mid-level-ontology.kif 10170-10170 |
| antecedent |
|
|
| (=> (and (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle)) |
Mid-level-ontology.kif 9931-9937 | |
| (=> (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 10063-10078 | |
| (=> (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 10041-10056 | |
| (=> (instance ?M Muscle) (material MuscleTissue Muscle)) |
Merge.kif 14949-14951 |
| 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 10155-10165 | |
| (=> (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 10115-10125 | |
| (=> (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 10867-10884 | |
| (=> (attribute ?ORGANISM (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 6002-6015 | |
| (=> (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 5981-5992 | |
| (=> (instance ?M Muscle) (material MuscleTissue Muscle)) |
Merge.kif 14949-14951 | |
| (=> (instance ?P ReflexiveProcess) (exists (?M) (and (instance ?M Muscle) (patient ?P ?M)))) |
Mid-level-ontology.kif 19315-19320 | |
| (=> (instance ?T Tendon) (exists (?M ?B) (and (instance ?M Muscle) (instance ?B Bone) (connects ?T ?M ?B)))) |
Mid-level-ontology.kif 9045-9051 |
|
|
|