VoluntaryMuscle - Sigma Knowledge base Browser

appearance as argument number 1

(subclass VoluntaryMuscle Muscle)	Mid-level-ontology.kif 11853-11853	Voluntary muscle is a subclass of muscle
(documentation VoluntaryMuscle EnglishLanguage "A Muscle that is under the conscious control of the Animal, such as the ThighMuscle or DeltoidMuscle.")	Mid-level-ontology.kif 11854-11856	Voluntary muscle is a subclass of muscle

appearance as argument number 2

antecedent

(=>
    (and
        (instance ?C MuscularContraction)
        (moves ?C ?M)
        (or
            (instance ?M VoluntaryMuscle)
            (instance ?M HeartMuscle)))
    (exists (?T)
        (and
            (instance ?T Troponin)
            (resource ?C ?T))))

If X is an instance of muscular contraction, Y moves during X, and Y is an instance of voluntary muscle or Y is an instance of heart muscle, then there exists Z such that Z is an instance of troponin and Z is a resource for X

consequent

(=>
    (and
        (instance ?M Muscle)
        (instance ?BM BodyMotion)
        (instrument ?BM ?M)
        (instance ?BM IntentionalProcess))
    (instance ?M VoluntaryMuscle))