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

Formal Language: 



KB Term:  Term intersection
English Word: 

  antagonistMuscles

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
(domainSubclass antagonistMuscles 2 Muscle) Mid-level-ontology.kif 10170-10170
(instance antagonistMuscles BinaryPredicate) Mid-level-ontology.kif 10167-10167
(instance antagonistMuscles IrreflexiveRelation) Mid-level-ontology.kif 10168-10168

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
(antagonistMuscles CalfMuscle ShinMuscle) Mid-level-ontology.kif 10205-10205
(antagonistMuscles HamstringMuscle ThighMuscle) Mid-level-ontology.kif 10204-10204
(antagonistMuscles LatissimusDorsi Pectoralis) Mid-level-ontology.kif 10283-10283


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