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
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1918-1919
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1920-1920
The number 1 argument of
ennervates
is a
subclass
of
nerve
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1921-1921
The number 2 argument of
ennervates
is a
subclass
of
muscle
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1917-1917
ennervates
is an
instance
of
binary predicate
antecedent
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1923-1939
If
ennervates
a kind of nerve
and
a kind of muscle
and
an object
is an
instance
of
a kind of nerve
and
another object
is an
instance
of
a kind of muscle
and
the object
is a
part
of
a third object
and
the other object
is a
part
of
the third object
and
healthy
is an
attribute
of
the third object
and
the third object
is an
instance
of
human
,
then
the object
has the purpose there exist
the object
F and
another entity
such that
the object
F is an
instance
of
NerveFiring
and
the object
is an
instrument
for
the object
F and
the kind of muscle
is an
instance
of
MuscleContraction
and
the other object
is an
instrument
for
the other object
V and
the object
F
cause
s
the kind of muscle
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 777-777
ennervates
a branch of dorsal primary division of suboccipital nerve
and
rectus capitis posterior minor muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 134-134
ennervates
abducens nerve [CNVI]
and
lateral rectus muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1189-1189
ennervates
accessory nerve
and
trapezius muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 666-666
ennervates
ansa cervicalis
and
omohyoid muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 638-638
ennervates
ansa cervicalis
and
sternohyoid muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 648-648
ennervates
ansa cervicalis
and
sternothyroid muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1943-1943
ennervates
anterior branch of obturator nerve[11]
and
adductor brevis muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1952-1952
ennervates
anterior branch of obturator nerve[11]
and
adductor longus muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1921-1921
ennervates
anterior branch of obturator nerve[11]
and
gracilis muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1445-1445
ennervates
anterior interosseous nerve (median nerve)
and
flexor digitorum profundus muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1434-1434
ennervates
anterior interosseous nerve (median nerve)
and
pronator quadratus muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1454-1454
ennervates
anterior interosseous nerve (median nerve) (C8, T1)
and
flexor pollicis longus muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1273-1273
ennervates
axillary nerve
and
deltoid muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1315-1315
ennervates
axillary nerve
and
teres minor muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 246-246
ennervates
buccal branch of facial nerve [CNVII]
and
alar part dilator naris muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 298-298
ennervates
buccal branch of facial nerve [CNVII]
and
buccinator muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 222-222
ennervates
buccal branch of facial nerve [CNVII]
and
depressor septi nasi muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 230-230
ennervates
buccal branch of facial nerve [CNVII]
and
levator labii superioris alaeque nasi muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 271-271
ennervates
buccal branch of facial nerve [CNVII]
and
levator labii superioris muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 306-306
ennervates
buccal branch of facial nerve [CNVII]
and
orbicularis oris muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 212-212
ennervates
buccal branch of facial nerve [CNVII]
and
procerus muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 315-315
ennervates
buccal branch of facial nerve [CNVII]
and
risorius muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 238-238
ennervates
buccal branch of facial nerve [CNVII]
and
transverse part compressor naris muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 323-323
ennervates
buccal branch of facial nerve [CNVII]
and
zygomatic major muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 331-331
ennervates
buccal branch of facial nerve [CNVII]
and
zygomatic minor muscle
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
ennervates