TreeView Knowledge Base Browser - MuscularContraction

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

MuscularContraction

Sigma KEE - MuscularContraction

MuscularContraction

appearance as argument number 1

(documentation MuscularContraction EnglishLanguage "The Process of a Muscle being activated by a NerveCell and shortening.")	Mid-level-ontology.kif 10557-10558
(subclass MuscularContraction BodyMotion)	Mid-level-ontology.kif 10555-10555	MuscularContraction ist eine teilkategorie von BodyMotion
(subclass MuscularContraction OrganOrTissueProcess)	Mid-level-ontology.kif 10556-10556	MuscularContraction ist eine teilkategorie von OrganOrTissueProcess

appearance as argument number 2

(termFormat EnglishLanguage MuscularContraction "muscular contraction")

domainEnglishFormat.kif 65214-65214

antecedent

(=> (and (instance ?C MuscularContraction) (moves ?C ?M) (or (instance ?M VoluntaryMuscle) (instance ?M HeartMuscle))) (exists (?T) (and (instance ?T Troponin) (resource ?C ?T))))	Medicine.kif 3954-3964	Wenn Motion ist ein fall von MuscularContraction %n{nicht} und moves Motion and Object und Object ist ein fall von VoluntaryMuscle %n{nicht} oder Object ist ein fall von HeartMuscle %n{nicht}, dann es gibt Object um Object ist ein fall von Troponin %n{nicht} und Object ist ein hilfmittel fuer ** Motion %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 10560-10575	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}
(=> (and (muscleInsertion ?MC ?BPC) (instance ?H Human) (holdsDuring ?T (attribute ?H StandardAnatomicalPosition)) (attribute ?H Healthy) (instance ?C MuscularContraction) (during (WhenFn ?C) ?T) (instance ?M ?MC) (part ?M ?H) (instrument ?C ?M) (physicalEnd ?E ?M) (meetsSpatially ?E ?BP) (holdsDuring (BeginFn ?C) (located ?E ?L))) (holdsDuring (EndFn ?C) (not (located ?E ?L))))	Anatomy.kif 1758-1780	Wenn muscleInsertion Muscle and BodyPart und Object ist ein fall von Human %n{nicht} und StandardAnatomicalPosition ist ein attribut von Object %n{nicht} haelt waehrend TimeInterval %n{nicht} und Healthy ist ein attribut von Object %n{nicht} und TimeInterval ist ein fall von MuscularContraction %n{nicht} und die zeit des Bestehens von TimeInterval geschieht waehrend TimeInterval %n{nicht} und Object ist ein fall von Muscle %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein instrument fuer TimeInterval %n{nicht} und physicalEnd Object and Object und Object schliesst Object raeumlich an und Object befindet sich an %n{nicht} haelt waehrend der anfang von TimeInterval %n{nicht}, dann Object befindet sich an nicht haelt waehrend das ende von ** TimeInterval %n{nicht}
(=> (and (muscleOrigin ?MC ?BPC) (instance ?H Human) (holdsDuring ?T (attribute ?H StandardAnatomicalPosition)) (attribute ?H Healthy) (instance ?C MuscularContraction) (during (WhenFn ?C) ?T) (instance ?M ?MC) (part ?M ?H) (instrument ?C ?M) (physicalEnd ?E ?M) (meetsSpatially ?E ?BP) (holdsDuring (BeginFn ?C) (located ?E ?L))) (holdsDuring (EndFn ?C) (located ?E ?L)))	Anatomy.kif 1708-1729	Wenn muscleOrigin Muscle and BodyPart und Object ist ein fall von Human %n{nicht} und StandardAnatomicalPosition ist ein attribut von Object %n{nicht} haelt waehrend TimeInterval %n{nicht} und Healthy ist ein attribut von Object %n{nicht} und TimeInterval ist ein fall von MuscularContraction %n{nicht} und die zeit des Bestehens von TimeInterval geschieht waehrend TimeInterval %n{nicht} und Object ist ein fall von Muscle %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein instrument fuer TimeInterval %n{nicht} und physicalEnd Object and Object und Object schliesst Object raeumlich an und Object befindet sich an %n{nicht} haelt waehrend der anfang von TimeInterval %n{nicht}, dann Object befindet sich an %n{nicht} haelt waehrend das ende von ** TimeInterval %n{nicht}

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	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 10634-10644	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 ?HB HeartBeat) (patient ?HB ?H) (instance ?H Heart)) (exists (?MC ?MR) (and (instance ?MC MuscularContraction) (patient ?MC ?H) (instance ?MR MuscleRelaxing) (patient ?MR ?H) (subProcess ?MC ?HB) (subProcess ?MR ?HB))))	Mid-level-ontology.kif 10755-10767	Wenn Process ist ein fall von HeartBeat %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Heart %n{nicht}, dann es gibt Process und Process um Process ist ein fall von MuscularContraction %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist ein fall von MuscleRelaxing %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist ein subProzess von Process und Process ist ein subProzess von Process

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

Show without tree

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