Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
antagonistMuscles
Sigma KEE - antagonistMuscles
antagonistMuscles
appearance as argument number 1
(
documentation
antagonistMuscles
EnglishLanguage
"A relation between two
Muscle
s 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