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 10690-10691
(
domainSubclass
antagonistMuscles
1
Muscle
)
Mid-level-ontology.kif 10688-10688
O argumento numero 1 de
antagonistMuscles
e' uma
sub
-classe de
Musculo
(
domainSubclass
antagonistMuscles
2
Muscle
)
Mid-level-ontology.kif 10689-10689
O argumento numero 2 de
antagonistMuscles
e' uma
sub
-classe de
Musculo
(
instance
antagonistMuscles
BinaryPredicate
)
Mid-level-ontology.kif 10686-10686
antagonistMuscles
e' uma
instancia
de
Predicado Binario
(
instance
antagonistMuscles
IrreflexiveRelation
)
Mid-level-ontology.kif 10687-10687
antagonistMuscles
e' uma
instancia
de
Relacao Irreflexiva
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
antagonistMuscles
Musculo
and
Musculo
Movimento
e' uma
instancia
de
Extension
Musculo
C e' um
instrumento
para
Movimento
moves
Movimento
and
Musculo
C
Musculo
C e' uma
instancia
de
Musculo
Musculo
C e' uma
instancia
de
Musculo
Musculo
C e' uma &parte de
Objeto
Musculo
C e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Animal
Musculo
C e'
capaz
de fazer
Flexion
no role
instrument
(=>
(
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
antagonistMuscles
Musculo
and
Musculo
Movimento
e' uma
instancia
de
Flexion
Musculo
C e' um
instrumento
para
Movimento
moves
Movimento
and
Musculo
C
Musculo
C e' uma
instancia
de
Musculo
Musculo
C e' uma
instancia
de
Musculo
Musculo
C e' uma &parte de
Objeto
Musculo
C e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Animal
Musculo
C e'
capaz
de fazer
Extension
no role
instrument
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 10725-10725
antagonistMuscles
Bicep
and
Tricep
(
antagonistMuscles
CalfMuscle
ShinMuscle
)
Mid-level-ontology.kif 10727-10727
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 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