antagonistMuscles - Sigma Knowledge base Browser

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 12012-12013
(domainSubclass antagonistMuscles 1 Muscle)	Mid-level-ontology.kif 12010-12010	The number 1 argument of antagonist muscles is a subclass of muscle
(domainSubclass antagonistMuscles 2 Muscle)	Mid-level-ontology.kif 12011-12011	The number 2 argument of antagonist muscles is a subclass of muscle
(instance antagonistMuscles BinaryPredicate)	Mid-level-ontology.kif 12008-12008	antagonist muscles is an instance of binary predicate
(instance antagonistMuscles IrreflexiveRelation)	Mid-level-ontology.kif 12009-12009	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 12015-12015
(termFormat EnglishLanguage antagonistMuscles "antagonist muscles")	Mid-level-ontology.kif 12014-12014

antecedent

(=> (and (antagonistMuscles ?A ?B) (instance ?E Extension) (instrument ?E ?AC) (moves ?E ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Animal)) (capability Flexion instrument ?BC))	Mid-level-ontology.kif 12034-12045	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 muscleC is an instrument for the motion and another kind of muscleC moves during the motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of animal, then the other kind of muscleC is capable of doing flexion as a instrument
(=> (and (antagonistMuscles ?A ?B) (instance ?F Flexion) (instrument ?F ?AC) (moves ?F ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Animal)) (capability Extension instrument ?BC))	Mid-level-ontology.kif 12021-12032	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 muscleC is an instrument for the motion and another kind of muscleC moves during the motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of animal, then the other kind of muscleC is capable of doing extension as a instrument

appearance as argument number 0

(antagonistMuscles AbductorDigitiMinimiMuscle FlexorDigitiMinimiBrevisMuscle)	Muscles.kif 2198-2198	Abductor digiti minimi muscle and flexor digiti minimi brevis muscle are antagonist muscles
(antagonistMuscles AbductorHallucisMuscle AdductorHallucisMuscle)	Muscles.kif 2188-2188	Abductor hallucis muscle and adductor hallucis muscle are antagonist muscles
(antagonistMuscles AdductorHallucisMuscle AbductorHallucisMuscle)	Muscles.kif 2135-2135	Adductor hallucis muscle and abductor hallucis muscle are antagonist muscles
(antagonistMuscles AdductorPollicisMuscle AbductorPollicisBrevisMuscle)	Muscles.kif 1588-1588	AdductorPollicisMuscle and abductor pollicis brevis muscle are antagonist muscles
(antagonistMuscles AdductorPollicisMuscle AbductorPollicisLongusMuscle)	Muscles.kif 1542-1542	AdductorPollicisMuscle and abductor pollicis longus muscle are antagonist muscles
(antagonistMuscles Bicep Tricep)	Mid-level-ontology.kif 12047-12047	Bicep and tricep are antagonist muscles
(antagonistMuscles CalfMuscle ShinMuscle)	Mid-level-ontology.kif 12049-12049	Gastrocnemius and tibialis anterior are antagonist muscles
(antagonistMuscles DeltoidMuscle LatissimusDorsiMuscle)	Muscles.kif 1193-1193	Deltoid muscle and latissimus dorsi muscle are antagonist muscles
(antagonistMuscles DorsalInterosseiMuscle PlantarInterosseiMuscle)	Muscles.kif 2207-2207	Dorsal interossei muscle and plantar interossei muscle are antagonist muscles
(antagonistMuscles ErectorSpinaeMuscle RectusAbdominisMuscle)	Muscles.kif 833-833	Iliocostalis muscle and rectus abdominis muscle are antagonist muscles
(antagonistMuscles ErectorSpinaeMuscle RectusAbdominusMuscle)	Muscles.kif 891-891	Iliocostalis muscle and RectusAbdominusMuscle are antagonist muscles
(antagonistMuscles ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusExtensorCarpiUlnarisMuscle PalmarisLongusMuscle)	Muscles.kif 1407-1407	ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusExtensorCarpiUlnarisMuscle and palmaris longus muscle are antagonist muscles
(antagonistMuscles ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusMuscle FlexorCarpiRadialisMuscle)	Muscles.kif 1398-1398	ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusMuscle and flexor carpi radialis muscle are antagonist muscles
(antagonistMuscles ExtensorCarpiUlnarisMuscle FlexorCarpiUlnarisMuscle)	Muscles.kif 1418-1418	Extensor carpi ulnaris muscle and flexor carpi ulnaris muscle are antagonist muscles
(antagonistMuscles ExtensorDigitiMinimiMuscle FingerFlexorDigitiMinimiBrevisMuscle)	Muscles.kif 1625-1625	Extensor digiti minimi muscle and finger flexor digiti minimi brevis muscle are antagonist muscles
(antagonistMuscles ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle FlexorDigitorumBrevisMuscle)	Muscles.kif 2143-2143	ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle and flexor digitorum brevis muscle are antagonist muscles
(antagonistMuscles ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle FlexorDigitorumLongusMuscle)	Muscles.kif 2070-2070	ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle and flexor digitorum longus muscle are antagonist muscles
(antagonistMuscles ExtensorDigitorumMuscle FlexorDigitorumProfundusMuscle)	Muscles.kif 1447-1447	Extensor digitorum muscle and flexor digitorum profundus muscle are antagonist muscles
(antagonistMuscles ExtensorDigitorumMuscle FlexorDigitorumSuperficialisMuscle)	Muscles.kif 1427-1427	Extensor digitorum muscle and flexor digitorum superficialis muscle are antagonist muscles
(antagonistMuscles ExtensorHallucisLongusMuscle FlexorHallucisBrevis)	Muscles.kif 2178-2178	Extensor hallucis longus muscle and FlexorHallucisBrevis are antagonist muscles
(antagonistMuscles ExtensorHallucisLongusMuscle FlexorHallucisLongusMuscle)	Muscles.kif 2061-2061	Extensor hallucis longus muscle and flexor hallucis longus muscle are antagonist muscles
(antagonistMuscles ExtensorPollicisLongusExtensorPollicisBrevisMuscle FlexorPollicisBrevisMuscle)	Muscles.kif 1579-1579	ExtensorPollicisLongusExtensorPollicisBrevisMuscle and flexor pollicis brevis muscle are antagonist muscles
(antagonistMuscles ExtensorPollicisLongusExtensorPollicisBrevisMuscle FlexorPollicisLongusMuscle)	Muscles.kif 1458-1458	ExtensorPollicisLongusExtensorPollicisBrevisMuscle and flexor pollicis longus muscle are antagonist muscles
(antagonistMuscles ExternalIntercostalsMuscle InternalIntercostalsMuscle)	Muscles.kif 1026-1026	External intercostals muscle and internal intercostals muscle are antagonist muscles
(antagonistMuscles FibularisLongusGastrocnemiusSoleusPlantarisTibialisPosteriorMuscle TibialisAnteriorMuscle)	Muscles.kif 1976-1976	FibularisLongusGastrocnemiusSoleusPlantarisTibialisPosteriorMuscle and tibialis anterior muscle are antagonist muscles

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: