antagonistMuscles - Sigma Knowledge base Browser

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	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of Extension and a kind of muscle is an instrument for the motion and an object moves during the motion and the kind of muscleC is an instance of the kind of muscle and another kind of muscleC is an instance of the other kind of muscle and the kind of muscle is a part of another object and the other kind of muscle is a part of the other object and the other object is an instance of mammal, then Flexion is capable of doing the other kind of muscle as a instrument
(=> (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	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of Flexion and a kind of muscle is an instrument for the motion and an object moves during the motion and the kind of muscleC is an instance of the kind of muscle and another kind of muscleC is an instance of the other kind of muscle and the kind of muscle is a part of another object and the other kind of muscle is a part of the other object and the other object is an instance of mammal, then Extension is capable of doing the other kind of muscle as a instrument

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