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

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