Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - antagonistMuscles
antagonistMuscles

appearance as argument number 1
-------------------------


(documentation antagonistMuscles EnglishLanguage "A relation between two Muscles that put opposing forces on a part of the body.") Mid-level-ontology.kif 10171-10172
(domainSubclass antagonistMuscles 1 Muscle) Mid-level-ontology.kif 10169-10169 The number 1 argument of antagonist muscles is a subclass of muscle
(domainSubclass antagonistMuscles 2 Muscle) Mid-level-ontology.kif 10170-10170 The number 2 argument of antagonist muscles is a subclass of muscle
(instance antagonistMuscles BinaryPredicate) Mid-level-ontology.kif 10167-10167 antagonist muscles is an instance of binary predicate
(instance antagonistMuscles IrreflexiveRelation) Mid-level-ontology.kif 10168-10168 antagonist muscles is an instance of irreflexive relation

appearance as argument number 2
-------------------------


(format EnglishLanguage antagonistMuscles "%1 and %2 are antagonist muscles") Mid-level-ontology.kif 10174-10174
(termFormat EnglishLanguage antagonistMuscles "antagonist muscles") Mid-level-ontology.kif 10173-10173

antecedent
-------------------------


(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?F Extension)
        (instrument ?F ?A)
        (moves ?F ?PART)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?A ?H)
        (part ?B ?H)
        (instance ?H Mammal))
    (capability ?B instrument Flexion))
Mid-level-ontology.kif 10190-10201
(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?F Flexion)
        (instrument ?F ?A)
        (moves ?F ?PART)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?A ?H)
        (part ?B ?H)
        (instance ?H Mammal))
    (capability ?B instrument Extension))
Mid-level-ontology.kif 10177-10188

appearance as argument number 0
-------------------------


(antagonistMuscles Bicep Tricep) Mid-level-ontology.kif 10203-10203 Bicep and tricep are antagonist muscles
(antagonistMuscles CalfMuscle ShinMuscle) Mid-level-ontology.kif 10205-10205 Gastrocnemius and tibialis anterior are antagonist muscles
(antagonistMuscles HamstringMuscle ThighMuscle) Mid-level-ontology.kif 10204-10204 Hamstring muscle and quadriceps are antagonist muscles
(antagonistMuscles LatissimusDorsi Pectoralis) Mid-level-ontology.kif 10283-10283 Upper back muscle and chest muscle are antagonist muscles


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