Muscle - Sigma Knowledge base Browser

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

(subclass AbductorDigitiMinimiMuscle Muscle)	Muscles.kif 1608-1608	AbductorDigitiMinimiMuscle ist eine teilkategorie von Muscle
(subclass AbductorHallucisMuscle Muscle)	Muscles.kif 2127-2127	AbductorHallucisMuscle ist eine teilkategorie von Muscle
(subclass AbductorPollicisBrevisMuscle Muscle)	Muscles.kif 1581-1581	AbductorPollicisBrevisMuscle ist eine teilkategorie von Muscle
(subclass AbductorPollicisLongusMuscle Muscle)	Muscles.kif 1535-1535	AbductorPollicisLongusMuscle ist eine teilkategorie von Muscle
(subclass AbductorPollicisMuscle Muscle)	Muscles.kif 1590-1590	AbductorPollicisMuscle ist eine teilkategorie von Muscle
(subclass AdductorBrevisMuscle Muscle)	Muscles.kif 1938-1938	AdductorBrevisMuscle ist eine teilkategorie von Muscle
(subclass AdductorHallucisMuscle Muscle)	Muscles.kif 2180-2180	AdductorHallucisMuscle ist eine teilkategorie von Muscle
(subclass AdductorLongusMuscle Muscle)	Muscles.kif 1947-1947	AdductorLongusMuscle ist eine teilkategorie von Muscle
(subclass AdductorMagnusMuscle Muscle)	Muscles.kif 1956-1956	AdductorMagnusMuscle ist eine teilkategorie von Muscle
(subclass AdductorMusclesOfTheHipMuscle Muscle)	Muscles.kif 1905-1905	AdductorMusclesOfTheHipMuscle ist eine teilkategorie von Muscle
(subclass AlarPartDilatorNarisMuscle Muscle)	Muscles.kif 241-241	AlarPartDilatorNarisMuscle ist eine teilkategorie von Muscle
(subclass AnconeusMuscle Muscle)	Muscles.kif 1369-1369	AnconeusMuscle ist eine teilkategorie von Muscle
(subclass ArticularisGenusMuscle Muscle)	Muscles.kif 1809-1809	ArticularisGenusMuscle ist eine teilkategorie von Muscle
(subclass ArytenoidTransverseAndObliqueMuscle Muscle)	Muscles.kif 539-539	ArytenoidTransverseAndObliqueMuscle ist eine teilkategorie von Muscle
(subclass AuricularisAnteriorMuscle Muscle)	Muscles.kif 163-163	AuricularisAnteriorMuscle ist eine teilkategorie von Muscle
(subclass AuricularisPosteriorMuscle Muscle)	Muscles.kif 179-179	AuricularisPosteriorMuscle ist eine teilkategorie von Muscle
(subclass AuricularisSuperiorMuscle Muscle)	Muscles.kif 171-171	AuricularisSuperiorMuscle ist eine teilkategorie von Muscle
(subclass Bicep Muscle)	Mid-level-ontology.kif 10781-10781	Bicep ist eine teilkategorie von Muscle
(subclass BicepsBrachiiMuscle Muscle)	Muscles.kif 1340-1340	BicepsBrachiiMuscle ist eine teilkategorie von Muscle
(subclass BicepsFemorisMuscle Muscle)	Muscles.kif 1872-1872	BicepsFemorisMuscle ist eine teilkategorie von Muscle
(subclass BrachialisMuscle Muscle)	Muscles.kif 1348-1348	BrachialisMuscle ist eine teilkategorie von Muscle
(subclass BrachioradialisMuscle Muscle)	Muscles.kif 1489-1489	BrachioradialisMuscle ist eine teilkategorie von Muscle
(subclass BuccinatorMuscle Muscle)	Muscles.kif 293-293	BuccinatorMuscle ist eine teilkategorie von Muscle
(subclass BulbospongiosusMuscle Muscle)	Muscles.kif 1148-1148	BulbospongiosusMuscle ist eine teilkategorie von Muscle
(subclass CalfMuscle Muscle)	Mid-level-ontology.kif 10799-10799	CalfMuscle ist eine teilkategorie von Muscle

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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	Wenn Object ist ein fall von Muscle %n{nicht} und Process ist ein fall von BodyMotion %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Process ist ein fall von IntentionalProcess %n{nicht}, dann Object ist ein fall von VoluntaryMuscle %n{nicht}
(=> (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	Wenn Process ist ein fall von MuscleRelaxing %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Muscle %n{nicht} und die laenge von Entity ist RealNumber entity(s) %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht} und die laenge von Entity ist RealNumber entity(s) %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von Process %n{nicht}, dann RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (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	Wenn Process ist ein fall von MuscularContraction %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Muscle %n{nicht} und die laenge von Entity ist RealNumber entity(s) %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht} und die laenge von Entity ist RealNumber entity(s) %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von Process %n{nicht}, dann RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (instance ?M Muscle) (material MuscleTissue Muscle))	Merge.kif 15231-15233	Wenn Entity ist ein fall von Muscle %n{nicht}, dann MuscleTissue ist von Muscle gebildet

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	Wenn Motion ist ein fall von Extension %n{nicht} und moves Motion and Object, dann es gibt Object und ObjectC um Object ist ein fall von Muscle %n{nicht} und ObjectC ist ein fall von MuscularContraction %n{nicht} und Object ist ein instrument fuer Motion %n{nicht} und Object wird an Object angeschlossen und ObjectC ist ein subProzess von ** Motion
(=> (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	Wenn Motion ist ein fall von Flexion %n{nicht} und moves Motion and Object, dann es gibt Object und ObjectC um Object ist ein fall von Muscle %n{nicht} und ObjectC ist ein fall von MuscularContraction %n{nicht} und Object ist ein instrument fuer Motion %n{nicht} und Object wird an Object angeschlossen und ObjectC ist ein subProzess von ** Motion
(=> (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	Wenn Physical ist ein fall von HeartAttack %n{nicht} und Object ist ein fall von Heart %n{nicht} und Physical befindet sich an %n{nicht}, dann es gibt Object um Object ist ein fall von Muscle %n{nicht} und Object ist ein teil von Object %n{nicht} und es gibt nicht TimeInterval und Object um TimeInterval ist ein fall von LiquidMotion %n{nicht} und objectTransferred TimeInterval and Object und Object ist ein fall von Blood %n{nicht} und TimeInterval geschieht waehrend die zeit des Bestehens von Physical %n{nicht} und TimeInterval endet an ** Object %n{nicht}
(=> (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	Wenn entity ist ein fall von ParalysisFn entityART %n{nicht} ist ein attribut von AutonomousAgent %n{nicht}, dann es gibt Object um Object ist ein fall von Muscle %n{nicht} und Object ist ein teil von entityART %n{nicht} und entityART ist ein teil von AutonomousAgent %n{nicht} und es gibt nicht Process um Process ist ein fall von BodyMotion %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein patient von ** Process %n{nicht}
(=> (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	Wenn Paralysis ist ein attribut von AutonomousAgent %n{nicht}, dann es gibt Object um Object ist ein fall von Muscle %n{nicht} und Object ist ein teil von AutonomousAgent %n{nicht} und es gibt nicht Process um Process ist ein fall von BodyMotion %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein patient von Process %n{nicht}
(=> (instance ?M Muscle) (material MuscleTissue Muscle))	Merge.kif 15231-15233	Wenn Entity ist ein fall von Muscle %n{nicht}, dann MuscleTissue ist von Muscle gebildet
(=> (instance ?P ReflexiveProcess) (exists (?M) (and (instance ?M Muscle) (patient ?P ?M))))	Mid-level-ontology.kif 19992-19997	Wenn Process ist ein fall von ReflexiveProcess %n{nicht}, dann es gibt Entity um Entity ist ein fall von Muscle %n{nicht} und Entity ist ein patient von ** Process %n{nicht}
(=> (instance ?T Tendon) (exists (?M ?B) (and (instance ?M Muscle) (instance ?B Bone) (connects ?T ?M ?B))))	Mid-level-ontology.kif 9449-9455	Wenn Object ist ein fall von Tendon %n{nicht}, dann es gibt Object und Object um Object ist ein fall von Muscle %n{nicht} und Object ist ein fall von Bone %n{nicht} und Object schleisst Object und ** Object an

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: