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 10662-10663
(domainSubclass antagonistMuscles 1 Muscle) Mid-level-ontology.kif 10660-10660
(domainSubclass antagonistMuscles 2 Muscle) Mid-level-ontology.kif 10661-10661
(instance antagonistMuscles BinaryPredicate) Mid-level-ontology.kif 10658-10658
(instance antagonistMuscles IrreflexiveRelation) Mid-level-ontology.kif 10659-10659

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


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

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 10684-10695
(=>
    (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 10671-10682

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 10697-10697
(antagonistMuscles CalfMuscle ShinMuscle) Mid-level-ontology.kif 10699-10699
(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