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 10690-10691
(domainSubclass antagonistMuscles 1 Muscle) Mid-level-ontology.kif 10688-10688
(domainSubclass antagonistMuscles 2 Muscle) Mid-level-ontology.kif 10689-10689
(instance antagonistMuscles BinaryPredicate) Mid-level-ontology.kif 10686-10686
(instance antagonistMuscles IrreflexiveRelation) Mid-level-ontology.kif 10687-10687

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


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

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 10712-10723
(=>
    (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 10699-10710

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


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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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