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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10663-10664
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10661-10661
The number 1 argument of
antagonist muscles
is a
subclass
of
muscle
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10662-10662
The number 2 argument of
antagonist muscles
is a
subclass
of
muscle
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10659-10659
antagonist muscles
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10660-10660
antagonist muscles
is an
instance
of
irreflexive relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10666-10666
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10665-10665
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10685-10696
If
a kind of muscle
and
another kind of muscle
are
antagonist
muscles and
a process
is an
instance
of
extension
and
a kind of muscle
C is an
instrument
for
the process
and
another kind of muscle
C moves during
a motion
and
the kind of muscle
C is an
instance
of
the kind of muscle
and
the other kind of muscle
C is an
instance
of
the other kind of muscle
and
the kind of muscle
C is a
part
of
a third object
and
the other kind of muscle
C is a
part
of
the third object
and
the third object
is an
instance
of
mammal
,
then
the other kind of muscle
C is
capable
of doing
flexion
as a
instrument
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10672-10683
If
a kind of muscle
and
another kind of muscle
are
antagonist
muscles and
a motion
is an
instance
of
flexion
and
a kind of muscle
C is an
instrument
for
the motion
and
another kind of muscle
C moves during
the motion
and
the kind of muscle
C is an
instance
of
the kind of muscle
and
the other kind of muscle
C is an
instance
of
the other kind of muscle
and
the kind of muscle
C is a
part
of
a third object
and
the other kind of muscle
C is a
part
of
the third object
and
the third object
is an
instance
of
mammal
,
then
the other kind of muscle
C is
capable
of doing
extension
as a
instrument
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2198-2198
Abductor digiti minimi muscle
and
flexor digiti minimi brevis muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2188-2188
Abductor hallucis muscle
and
adductor hallucis muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2135-2135
Adductor hallucis muscle
and
abductor hallucis muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1588-1588
AdductorPollicisMuscle
and
abductor pollicis brevis muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1542-1542
AdductorPollicisMuscle
and
abductor pollicis longus muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10698-10698
Bicep
and
tricep
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10700-10700
Gastrocnemius
and
tibialis anterior
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1193-1193
Deltoid muscle
and
latissimus dorsi muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2207-2207
Dorsal interossei muscle
and
plantar interossei muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 833-833
Iliocostalis muscle
and
rectus abdominis muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 891-891
Iliocostalis muscle
and
RectusAbdominusMuscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1407-1407
ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusExtensorCarpiUlnarisMuscle
and
palmaris longus muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1398-1398
ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusMuscle
and
flexor carpi radialis muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1418-1418
Extensor carpi ulnaris muscle
and
flexor carpi ulnaris muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1625-1625
Extensor digiti minimi muscle
and
finger flexor digiti minimi brevis muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2143-2143
ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle
and
flexor digitorum brevis muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2070-2070
ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle
and
flexor digitorum longus muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1447-1447
Extensor digitorum muscle
and
flexor digitorum profundus muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1427-1427
Extensor digitorum muscle
and
flexor digitorum superficialis muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2178-2178
Extensor hallucis longus muscle
and
FlexorHallucisBrevis
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2061-2061
Extensor hallucis longus muscle
and
flexor hallucis longus muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1579-1579
ExtensorPollicisLongusExtensorPollicisBrevisMuscle
and
flexor pollicis brevis muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1458-1458
ExtensorPollicisLongusExtensorPollicisBrevisMuscle
and
flexor pollicis longus muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1026-1026
External intercostals muscle
and
internal intercostals muscle
are
antagonist
muscles
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1976-1976
FibularisLongusGastrocnemiusSoleusPlantarisTibialisPosteriorMuscle
and
tibialis anterior muscle
are
antagonist
muscles
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
antagonistMuscles