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
ennervates
Sigma KEE - ennervates
ennervates
appearance as argument number 1
(
documentation
ennervates
EnglishLanguage
"A relation between a class of
Nerve
and a class of
Muscle
that is activated by that nerve, when both are instances in a particular organism.")
Anatomy.kif 1918-1919
(
domainSubclass
ennervates
1
Nerve
)
Anatomy.kif 1920-1920
Die Zahl 1 Argument von
ennervates
ist eine
teilkategorie
von
Nerve
%n{nicht}
(
domainSubclass
ennervates
2
Muscle
)
Anatomy.kif 1921-1921
Die Zahl 2 Argument von
ennervates
ist eine
teilkategorie
von
Muscle
%n{nicht}
(
instance
ennervates
BinaryPredicate
)
Anatomy.kif 1917-1917
ennervates
ist ein
fall
von
BinaryPredicate
%n{nicht}
antecedent
(=>
(
and
(
ennervates
?NC ?MC)
(
instance
?N ?NC)
(
instance
?M ?MC)
(
part
?N ?H)
(
part
?M ?H)
(
attribute
?H
Healthy
)
(
instance
?H
Human
))
(
hasPurpose
?N
(
exists
(?NF ?C)
(
and
(
instance
?NF
NerveFiring
)
(
instrument
?NF ?N)
(
instance
?MC
MuscleContraction
)
(
instrument
?MV ?M)
(
causes
?NF ?MC)))))
Anatomy.kif 1923-1939
Wenn
ennervates
** Nerve
and
** Muscle
und
Object
ist ein
fall
von
** Nerve
%n{nicht} und
** Object
ist ein
fall
von
** Muscle
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
Healthy
ist ein
attribut
von
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Human
%n{nicht},
dann
** Object
hat Zweck von es gibt
** Object
F und
** entity
um
** Object
F ist ein
fall
von
NerveFiring
%n{nicht} und
** Object
ist ein
instrument
fuer
** Object
F %n{nicht} und
** ** Muscle
ist ein
fall
von
MuscleContraction
%n{nicht} und
** ** Object
ist ein
instrument
fuer
** ** Object
V %n{nicht} und
** Object
F verursacht
** ** Muscle
%n{nicht} %n{nicht}
appearance as argument number 0
(
ennervates
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
RectusCapitisPosteriorMinorMuscle
)
Muscles.kif 777-777
ennervates
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
and
RectusCapitisPosteriorMinorMuscle
(
ennervates
AbducensNerveCNVI
LateralRectusMuscle
)
Muscles.kif 134-134
ennervates
AbducensNerveCNVI
and
LateralRectusMuscle
(
ennervates
AccessoryNerve
TrapeziusMuscle
)
Muscles.kif 1189-1189
ennervates
AccessoryNerve
and
TrapeziusMuscle
(
ennervates
AnsaCervicalis
OmohyoidMuscle
)
Muscles.kif 666-666
ennervates
AnsaCervicalis
and
OmohyoidMuscle
(
ennervates
AnsaCervicalis
SternohyoidMuscle
)
Muscles.kif 638-638
ennervates
AnsaCervicalis
and
SternohyoidMuscle
(
ennervates
AnsaCervicalis
SternothyroidMuscle
)
Muscles.kif 648-648
ennervates
AnsaCervicalis
and
SternothyroidMuscle
(
ennervates
AnteriorBranchOfObturatorNerve11
AdductorBrevisMuscle
)
Muscles.kif 1943-1943
ennervates
AnteriorBranchOfObturatorNerve11
and
AdductorBrevisMuscle
(
ennervates
AnteriorBranchOfObturatorNerve11
AdductorLongusMuscle
)
Muscles.kif 1952-1952
ennervates
AnteriorBranchOfObturatorNerve11
and
AdductorLongusMuscle
(
ennervates
AnteriorBranchOfObturatorNerve11
GracilisMuscle
)
Muscles.kif 1921-1921
ennervates
AnteriorBranchOfObturatorNerve11
and
GracilisMuscle
(
ennervates
AnteriorInterosseousNerve
FlexorDigitorumProfundusMuscle
)
Muscles.kif 1445-1445
ennervates
AnteriorInterosseousNerve
and
FlexorDigitorumProfundusMuscle
(
ennervates
AnteriorInterosseousNerve
PronatorQuadratusMuscle
)
Muscles.kif 1434-1434
ennervates
AnteriorInterosseousNerve
and
PronatorQuadratusMuscle
(
ennervates
AnteriorInterosseousNerveMedianNerveC8T1
FlexorPollicisLongusMuscle
)
Muscles.kif 1454-1454
ennervates
AnteriorInterosseousNerveMedianNerveC8T1
and
FlexorPollicisLongusMuscle
(
ennervates
AxillaryNerve
DeltoidMuscle
)
Muscles.kif 1273-1273
ennervates
AxillaryNerve
and
DeltoidMuscle
(
ennervates
AxillaryNerve
TeresMinorMuscle
)
Muscles.kif 1315-1315
ennervates
AxillaryNerve
and
TeresMinorMuscle
(
ennervates
BuccalBranchOfFacialNerveCNVII
AlarPartDilatorNarisMuscle
)
Muscles.kif 246-246
ennervates
BuccalBranchOfFacialNerveCNVII
and
AlarPartDilatorNarisMuscle
(
ennervates
BuccalBranchOfFacialNerveCNVII
BuccinatorMuscle
)
Muscles.kif 298-298
ennervates
BuccalBranchOfFacialNerveCNVII
and
BuccinatorMuscle
(
ennervates
BuccalBranchOfFacialNerveCNVII
DepressorSeptiNasiMuscle
)
Muscles.kif 222-222
ennervates
BuccalBranchOfFacialNerveCNVII
and
DepressorSeptiNasiMuscle
(
ennervates
BuccalBranchOfFacialNerveCNVII
LevatorLabiiSuperiorisAlaequeNasiMuscle
)
Muscles.kif 230-230
ennervates
BuccalBranchOfFacialNerveCNVII
and
LevatorLabiiSuperiorisAlaequeNasiMuscle
(
ennervates
BuccalBranchOfFacialNerveCNVII
LevatorLabiiSuperiorisMuscle
)
Muscles.kif 271-271
ennervates
BuccalBranchOfFacialNerveCNVII
and
LevatorLabiiSuperiorisMuscle
(
ennervates
BuccalBranchOfFacialNerveCNVII
OrbicularisOrisMuscle
)
Muscles.kif 306-306
ennervates
BuccalBranchOfFacialNerveCNVII
and
OrbicularisOrisMuscle
(
ennervates
BuccalBranchOfFacialNerveCNVII
ProcerusMuscleMuscle
)
Muscles.kif 212-212
ennervates
BuccalBranchOfFacialNerveCNVII
and
ProcerusMuscleMuscle
(
ennervates
BuccalBranchOfFacialNerveCNVII
RisoriusMuscle
)
Muscles.kif 315-315
ennervates
BuccalBranchOfFacialNerveCNVII
and
RisoriusMuscle
(
ennervates
BuccalBranchOfFacialNerveCNVII
TransversePartCompressorNarisMuscle
)
Muscles.kif 238-238
ennervates
BuccalBranchOfFacialNerveCNVII
and
TransversePartCompressorNarisMuscle
(
ennervates
BuccalBranchOfFacialNerveCNVII
ZygomaticMajorMuscle
)
Muscles.kif 323-323
ennervates
BuccalBranchOfFacialNerveCNVII
and
ZygomaticMajorMuscle
(
ennervates
BuccalBranchOfFacialNerveCNVII
ZygomaticMinorMuscle
)
Muscles.kif 331-331
ennervates
BuccalBranchOfFacialNerveCNVII
and
ZygomaticMinorMuscle
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