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
ennervates
的 1 数量 是
Nerve
的
subclass
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1921-1921
ennervates
的 2 数量 是
肌肉
的
subclass
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1917-1917
ennervates
是
二元谓语
的
instance
antecedent
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1923-1939
如果
ennervates
有点 Nerve
and
有点 肌肉
和
客体
是
有点 Nerve
的
instance
和
另一个 客体
是
有点 肌肉
的
instance
和
那个 客体
是
第三 客体
的
part
和
那个 另外 客体
是
那个 第三 客体
的
part
和
Healthy
是
那个 第三 客体
的
attribute
和
那个 第三 客体
是
人类
的
instance
,
然后
那个 客体
的 目的 是 有存在
那个 客体
F 和
另一个 实体
这样
那个 客体
F 是
NerveFiring
的
instance
和
那个 客体
是导致
那个 客体
F 的
instrument
和
那个 有点 肌肉
是
MuscleContraction
的
instance
和
那个 另外 客体
是导致
那个 另外 客体
V 的
instrument
和
那个 客体
F
causes
那个 有点 肌肉
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 777-777
ennervates
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
and
RectusCapitisPosteriorMinorMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 134-134
ennervates
AbducensNerveCNVI
and
LateralRectusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1189-1189
ennervates
AccessoryNerve
and
TrapeziusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 666-666
ennervates
AnsaCervicalis
and
OmohyoidMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 638-638
ennervates
AnsaCervicalis
and
SternohyoidMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 648-648
ennervates
AnsaCervicalis
and
SternothyroidMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1943-1943
ennervates
AnteriorBranchOfObturatorNerve11
and
AdductorBrevisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1952-1952
ennervates
AnteriorBranchOfObturatorNerve11
and
AdductorLongusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1921-1921
ennervates
AnteriorBranchOfObturatorNerve11
and
GracilisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1445-1445
ennervates
AnteriorInterosseousNerve
and
FlexorDigitorumProfundusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1434-1434
ennervates
AnteriorInterosseousNerve
and
PronatorQuadratusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1454-1454
ennervates
AnteriorInterosseousNerveMedianNerveC8T1
and
FlexorPollicisLongusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1273-1273
ennervates
AxillaryNerve
and
DeltoidMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1315-1315
ennervates
AxillaryNerve
and
TeresMinorMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 246-246
ennervates
BuccalBranchOfFacialNerveCNVII
and
AlarPartDilatorNarisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 298-298
ennervates
BuccalBranchOfFacialNerveCNVII
and
BuccinatorMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 222-222
ennervates
BuccalBranchOfFacialNerveCNVII
and
DepressorSeptiNasiMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 230-230
ennervates
BuccalBranchOfFacialNerveCNVII
and
LevatorLabiiSuperiorisAlaequeNasiMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 271-271
ennervates
BuccalBranchOfFacialNerveCNVII
and
LevatorLabiiSuperiorisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 306-306
ennervates
BuccalBranchOfFacialNerveCNVII
and
OrbicularisOrisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 212-212
ennervates
BuccalBranchOfFacialNerveCNVII
and
ProcerusMuscleMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 315-315
ennervates
BuccalBranchOfFacialNerveCNVII
and
RisoriusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 238-238
ennervates
BuccalBranchOfFacialNerveCNVII
and
TransversePartCompressorNarisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 323-323
ennervates
BuccalBranchOfFacialNerveCNVII
and
ZygomaticMajorMuscle
No TPTP formula. May not be expressible in strict first order.
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