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 10663-10664
(domainSubclass antagonistMuscles 1 Muscle) Mid-level-ontology.kif 10661-10661 Le nombre 1 argument de antagonistMuscles est une sous-classe de muscle
(domainSubclass antagonistMuscles 2 Muscle) Mid-level-ontology.kif 10662-10662 Le nombre 2 argument de antagonistMuscles est une sous-classe de muscle
(instance antagonistMuscles BinaryPredicate) Mid-level-ontology.kif 10659-10659 antagonistMuscles est une instance de pr�dicat binaire
(instance antagonistMuscles IrreflexiveRelation) Mid-level-ontology.kif 10660-10660 antagonistMuscles est une instance de relation irr�flexive

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


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

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


(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?E Extension)
        (instrument ?E ?AC)
        (moves ?F ?BC)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?AC ?H)
        (part ?BC ?H)
        (instance ?H Mammal))
    (capability Flexion instrument ?BC))
Mid-level-ontology.kif 10685-10696
(=>
    (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 Mammal))
    (capability Extension instrument ?BC))
Mid-level-ontology.kif 10672-10683

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


(antagonistMuscles AbductorDigitiMinimiMuscle FlexorDigitiMinimiBrevisMuscle) Muscles.kif 2198-2198 antagonistMuscles AbductorDigitiMinimiMuscle and FlexorDigitiMinimiBrevisMuscle
(antagonistMuscles AbductorHallucisMuscle AdductorHallucisMuscle) Muscles.kif 2188-2188 antagonistMuscles AbductorHallucisMuscle and AdductorHallucisMuscle
(antagonistMuscles AdductorHallucisMuscle AbductorHallucisMuscle) Muscles.kif 2135-2135 antagonistMuscles AdductorHallucisMuscle and AbductorHallucisMuscle
(antagonistMuscles AdductorPollicisMuscle AbductorPollicisBrevisMuscle) Muscles.kif 1588-1588 antagonistMuscles AdductorPollicisMuscle and AbductorPollicisBrevisMuscle
(antagonistMuscles AdductorPollicisMuscle AbductorPollicisLongusMuscle) Muscles.kif 1542-1542 antagonistMuscles AdductorPollicisMuscle and AbductorPollicisLongusMuscle
(antagonistMuscles Bicep Tricep) Mid-level-ontology.kif 10698-10698 antagonistMuscles Bicep and Tricep
(antagonistMuscles CalfMuscle ShinMuscle) Mid-level-ontology.kif 10700-10700 antagonistMuscles CalfMuscle and ShinMuscle
(antagonistMuscles DeltoidMuscle LatissimusDorsiMuscle) Muscles.kif 1193-1193 antagonistMuscles DeltoidMuscle and LatissimusDorsiMuscle
(antagonistMuscles DorsalInterosseiMuscle PlantarInterosseiMuscle) Muscles.kif 2207-2207 antagonistMuscles DorsalInterosseiMuscle and PlantarInterosseiMuscle
(antagonistMuscles ErectorSpinaeMuscle RectusAbdominisMuscle) Muscles.kif 833-833 antagonistMuscles ErectorSpinaeMuscle and RectusAbdominisMuscle
(antagonistMuscles ErectorSpinaeMuscle RectusAbdominusMuscle) Muscles.kif 891-891 antagonistMuscles ErectorSpinaeMuscle and RectusAbdominusMuscle
(antagonistMuscles ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusExtensorCarpiUlnarisMuscle PalmarisLongusMuscle) Muscles.kif 1407-1407 antagonistMuscles ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusExtensorCarpiUlnarisMuscle and PalmarisLongusMuscle
(antagonistMuscles ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusMuscle FlexorCarpiRadialisMuscle) Muscles.kif 1398-1398 antagonistMuscles ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusMuscle and FlexorCarpiRadialisMuscle
(antagonistMuscles ExtensorCarpiUlnarisMuscle FlexorCarpiUlnarisMuscle) Muscles.kif 1418-1418 antagonistMuscles ExtensorCarpiUlnarisMuscle and FlexorCarpiUlnarisMuscle
(antagonistMuscles ExtensorDigitiMinimiMuscle FingerFlexorDigitiMinimiBrevisMuscle) Muscles.kif 1625-1625 antagonistMuscles ExtensorDigitiMinimiMuscle and FingerFlexorDigitiMinimiBrevisMuscle
(antagonistMuscles ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle FlexorDigitorumBrevisMuscle) Muscles.kif 2143-2143 antagonistMuscles ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle and FlexorDigitorumBrevisMuscle
(antagonistMuscles ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle FlexorDigitorumLongusMuscle) Muscles.kif 2070-2070 antagonistMuscles ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle and FlexorDigitorumLongusMuscle
(antagonistMuscles ExtensorDigitorumMuscle FlexorDigitorumProfundusMuscle) Muscles.kif 1447-1447 antagonistMuscles ExtensorDigitorumMuscle and FlexorDigitorumProfundusMuscle
(antagonistMuscles ExtensorDigitorumMuscle FlexorDigitorumSuperficialisMuscle) Muscles.kif 1427-1427 antagonistMuscles ExtensorDigitorumMuscle and FlexorDigitorumSuperficialisMuscle
(antagonistMuscles ExtensorHallucisLongusMuscle FlexorHallucisBrevis) Muscles.kif 2178-2178 antagonistMuscles ExtensorHallucisLongusMuscle and FlexorHallucisBrevis
(antagonistMuscles ExtensorHallucisLongusMuscle FlexorHallucisLongusMuscle) Muscles.kif 2061-2061 antagonistMuscles ExtensorHallucisLongusMuscle and FlexorHallucisLongusMuscle
(antagonistMuscles ExtensorPollicisLongusExtensorPollicisBrevisMuscle FlexorPollicisBrevisMuscle) Muscles.kif 1579-1579 antagonistMuscles ExtensorPollicisLongusExtensorPollicisBrevisMuscle and FlexorPollicisBrevisMuscle
(antagonistMuscles ExtensorPollicisLongusExtensorPollicisBrevisMuscle FlexorPollicisLongusMuscle) Muscles.kif 1458-1458 antagonistMuscles ExtensorPollicisLongusExtensorPollicisBrevisMuscle and FlexorPollicisLongusMuscle
(antagonistMuscles ExternalIntercostalsMuscle InternalIntercostalsMuscle) Muscles.kif 1026-1026 antagonistMuscles ExternalIntercostalsMuscle and InternalIntercostalsMuscle
(antagonistMuscles FibularisLongusGastrocnemiusSoleusPlantarisTibialisPosteriorMuscle TibialisAnteriorMuscle) Muscles.kif 1976-1976 antagonistMuscles FibularisLongusGastrocnemiusSoleusPlantarisTibialisPosteriorMuscle and TibialisAnteriorMuscle

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