Term Intersection
: 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
Term 1:
Term 2:
(
subclass
Muscle
BodyPart
)
Merge.kif 15229-15229
Muscle
is a
subclass
of
body part
(
subclass
OccipitofrontalisMuscle
Muscle
)
Muscles.kif 19-19
Occipitofrontalis
is a
subclass
of
muscle
(
subclass
OccipitalisMuscle
Muscle
)
Muscles.kif 34-34
Occipitalis muscle
is a
subclass
of
muscle
(
subclass
FrontalisMuscle
Muscle
)
Muscles.kif 44-44
Frontalis muscle
is a
subclass
of
muscle
(
subclass
OrbicularisOculiMuscle
Muscle
)
Muscles.kif 54-54
Orbicularis oculi muscle
is a
subclass
of
muscle
(
subclass
CorrugatorSuperciliiMuscle
Muscle
)
Muscles.kif 64-64
Corrugator supercilii muscle
is a
subclass
of
muscle
(
subclass
DepressorSuperciliiMuscle
Muscle
)
Muscles.kif 72-72
Depressor supercilii muscle
is a
subclass
of
muscle
(
subclass
LevatorPalpebraeSuperiorisMuscle
Muscle
)
Muscles.kif 79-79
Levator palpebrae superioris muscle
is a
subclass
of
muscle
(
subclass
SuperiorTarsalMuscle
Muscle
)
Muscles.kif 90-90
Muller's muscle
is a
subclass
of
muscle
(
subclass
SuperiorRectusMuscle
Muscle
)
Muscles.kif 101-101
Superior rectus muscle
is a
subclass
of
muscle
(
subclass
InferiorRectusMuscle
Muscle
)
Muscles.kif 111-111
Inferior rectus muscle
is a
subclass
of
muscle
(
subclass
MedialRectusMuscle
Muscle
)
Muscles.kif 121-121
Medial rectus muscle
is a
subclass
of
muscle
(
subclass
LateralRectusMuscle
Muscle
)
Muscles.kif 129-129
Lateral rectus muscle
is a
subclass
of
muscle
(
subclass
SuperiorObliqueMuscle
Muscle
)
Muscles.kif 139-139
Superior oblique muscle
is a
subclass
of
muscle
(
subclass
InferiorObliqueMuscle
Muscle
)
Muscles.kif 149-149
Inferior oblique muscle
is a
subclass
of
muscle
(
subclass
TemporoparietalisMuscle
Muscle
)
Muscles.kif 156-156
Temporoparietalis muscle
is a
subclass
of
muscle
(
subclass
AuricularisAnteriorMuscle
Muscle
)
Muscles.kif 163-163
Auricularis anterior muscle
is a
subclass
of
muscle
(
subclass
AuricularisSuperiorMuscle
Muscle
)
Muscles.kif 171-171
Auricularis superior muscle
is a
subclass
of
muscle
(
subclass
AuricularisPosteriorMuscle
Muscle
)
Muscles.kif 179-179
Auricularis posterior muscle
is a
subclass
of
muscle
(
subclass
StapediusMuscle
Muscle
)
Muscles.kif 187-187
Stapedius muscle
is a
subclass
of
muscle
(
subclass
TensorTympaniMuscle
Muscle
)
Muscles.kif 197-197
Tensor tympani muscle
is a
subclass
of
muscle
(
subclass
ProcerusMuscleMuscle
Muscle
)
Muscles.kif 207-207
Procerus muscle
is a
subclass
of
muscle
(
subclass
DepressorSeptiNasiMuscle
Muscle
)
Muscles.kif 217-217
Depressor septi nasi muscle
is a
subclass
of
muscle
(
subclass
LevatorLabiiSuperiorisAlaequeNasiMuscle
Muscle
)
Muscles.kif 225-225
Levator labii superioris alaeque nasi muscle
is a
subclass
of
muscle
(
subclass
TransversePartCompressorNarisMuscle
Muscle
)
Muscles.kif 233-233
Transverse part compressor naris muscle
is a
subclass
of
muscle
(
subclass
AlarPartDilatorNarisMuscle
Muscle
)
Muscles.kif 241-241
Alar part dilator naris muscle
is a
subclass
of
muscle
(
subclass
LevatorAngulaOrisMuscle
Muscle
)
Muscles.kif 249-249
Levator angula oris muscle
is a
subclass
of
muscle
(
subclass
DepressorAnguliOrisMuscle
Muscle
)
Muscles.kif 258-258
Depressor angula oris muscle
is a
subclass
of
muscle
(
subclass
LevatorLabiiSuperiorisMuscle
Muscle
)
Muscles.kif 266-266
Levator labii superioris muscle
is a
subclass
of
muscle
(
subclass
DepressorLabiiInferiorisMuscle
Muscle
)
Muscles.kif 275-275
Depressor labii inferioris muscle
is a
subclass
of
muscle
(
subclass
MentalisMuscle
Muscle
)
Muscles.kif 285-285
Mentalis muscle
is a
subclass
of
muscle
(
subclass
BuccinatorMuscle
Muscle
)
Muscles.kif 293-293
Buccinator muscle
is a
subclass
of
muscle
(
subclass
OrbicularisOrisMuscle
Muscle
)
Muscles.kif 301-301
Orbicularis oris muscle
is a
subclass
of
muscle
(
subclass
RisoriusMuscle
Muscle
)
Muscles.kif 310-310
Risorius muscle
is a
subclass
of
muscle
(
subclass
ZygomaticMajorMuscle
Muscle
)
Muscles.kif 318-318
Zygomatic major muscle
is a
subclass
of
muscle
(
subclass
ZygomaticMinorMuscle
Muscle
)
Muscles.kif 326-326
Zygomatic minor muscle
is a
subclass
of
muscle
(
subclass
MasseterMuscle
Muscle
)
Muscles.kif 334-334
Masseter muscle
is a
subclass
of
muscle
(
subclass
TemporalisMuscle
Muscle
)
Muscles.kif 345-345
Temporalis muscle
is a
subclass
of
muscle
(
subclass
PterygoidLateralMuscle
Muscle
)
Muscles.kif 356-356
Pterygoid lateral muscle
is a
subclass
of
muscle
(
subclass
PterygoidMedialMuscle
Muscle
)
Muscles.kif 367-367
Pterygoid medial muscle
is a
subclass
of
muscle
(
subclass
GenioglossusMuscle
Muscle
)
Muscles.kif 375-375
Hyoglossus muscle
is a
subclass
of
muscle
(
subclass
HyoglossusMuscle
Muscle
)
Muscles.kif 386-386
Hyoglossus muscle
is a
subclass
of
muscle
(
subclass
ChondroglossusMuscle
Muscle
)
Muscles.kif 393-393
Chondroglossus muscle
is a
subclass
of
muscle
(
subclass
StyloglossusMuscle
Muscle
)
Muscles.kif 400-400
Styloglossus muscle
is a
subclass
of
muscle
(
subclass
PalatoglossusMuscle
Muscle
)
Muscles.kif 409-409
Palatoglossus muscle
is a
subclass
of
muscle
(
subclass
SuperiorLongitudinalMuscle
Muscle
)
Muscles.kif 417-417
Superior longitudinal muscle
is a
subclass
of
muscle
(
subclass
TransversusMuscle
Muscle
)
Muscles.kif 425-425
Transversus muscle
is a
subclass
of
muscle
(
subclass
InferiorLongitudinalMuscle
Muscle
)
Muscles.kif 433-433
Inferior longitudinal muscle
is a
subclass
of
muscle
(
subclass
VerticalisMuscle
Muscle
)
Muscles.kif 441-441
Verticalis muscle
is a
subclass
of
muscle
(
subclass
TensorVeliPalatiniMuscle
Muscle
)
Muscles.kif 448-448
Tensor veli palatini muscle
is a
subclass
of
muscle
(
subclass
LevatorVeliPalatiniMuscle
Muscle
)
Muscles.kif 455-455
Levator veli palatini muscle
is a
subclass
of
muscle
(
subclass
PalatopharyngeusMuscle
Muscle
)
Muscles.kif 469-469
Palatopharyngeus muscle
is a
subclass
of
muscle
(
subclass
PalatineUvulaMuscle
Muscle
)
Muscles.kif 479-479
Palatine uvula muscle
is a
subclass
of
muscle
(
subclass
StylopharyngeusMuscle
Muscle
)
Muscles.kif 486-486
Stylopharyngeus muscle
is a
subclass
of
muscle
(
subclass
SalpingopharyngeusMuscle
Muscle
)
Muscles.kif 496-496
Salpingopharyngeus muscle
is a
subclass
of
muscle
(
subclass
PharyngealInferiorMuscle
Muscle
)
Muscles.kif 503-503
Pharyngeal inferior muscle
is a
subclass
of
muscle
(
subclass
PharyngealMiddleMuscle
Muscle
)
Muscles.kif 513-513
Pharyngeal middle muscle muscle
is a
subclass
of
muscle
(
subclass
PharyngealSuperiorMuscle
Muscle
)
Muscles.kif 521-521
Pharyngeal superior muscle
is a
subclass
of
muscle
(
subclass
CricothyroidMuscle
Muscle
)
Muscles.kif 529-529
Cricothyroid muscle
is a
subclass
of
muscle
(
subclass
ArytenoidTransverseAndObliqueMuscle
Muscle
)
Muscles.kif 539-539
Arytenoid (transverse and oblique) muscle
is a
subclass
of
muscle
(
subclass
ThyroarytenoidMuscle
Muscle
)
Muscles.kif 549-549
Thyroarytenoid muscle
is a
subclass
of
muscle
(
subclass
CricoarytenoidPosteriorMuscle
Muscle
)
Muscles.kif 556-556
Posterior muscle
is a
subclass
of
muscle
(
subclass
CricoarytenoidLateralMuscle
Muscle
)
Muscles.kif 564-564
Lateral muscle
is a
subclass
of
muscle
(
subclass
PlatysmaMuscle
Muscle
)
Muscles.kif 572-572
Platysma muscle
is a
subclass
of
muscle
(
subclass
SternocleidomastoidMuscle
Muscle
)
Muscles.kif 583-583
Sternocleidomastoid muscle
is a
subclass
of
muscle
(
subclass
DigastricMuscle
Muscle
)
Muscles.kif 596-596
Digastric muscle
is a
subclass
of
muscle
(
subclass
StylohyoidMuscle
Muscle
)
Muscles.kif 606-606
Stylohyoid muscle
is a
subclass
of
muscle
(
subclass
MylohyoidMuscle
Muscle
)
Muscles.kif 614-614
Mylohyoid muscle
is a
subclass
of
muscle
(
subclass
GeniohyoidMuscle
Muscle
)
Muscles.kif 624-624
Geniohyoid muscle
is a
subclass
of
muscle
(
subclass
SternohyoidMuscle
Muscle
)
Muscles.kif 633-633
Sternohyoid muscle
is a
subclass
of
muscle
(
subclass
SternothyroidMuscle
Muscle
)
Muscles.kif 643-643
Sternothyroid muscle
is a
subclass
of
muscle
(
subclass
ThyrohyoidMuscle
Muscle
)
Muscles.kif 651-651
Thyrohyoid muscle
is a
subclass
of
muscle
(
subclass
OmohyoidMuscle
Muscle
)
Muscles.kif 661-661
Omohyoid muscle
is a
subclass
of
muscle
(
subclass
LongusColliMuscle
Muscle
)
Muscles.kif 669-669
Longus colli muscle
is a
subclass
of
muscle
(
subclass
LongusCapitisMuscle
Muscle
)
Muscles.kif 679-679
Longus capitis muscle
is a
subclass
of
muscle
(
subclass
RectusCapitisAnteriorMuscle
Muscle
)
Muscles.kif 688-688
Rectus capitis anterior muscle
is a
subclass
of
muscle
(
subclass
RectusCapitisLateralisMuscle
Muscle
)
Muscles.kif 694-694
Rectus capitis lateralis muscle
is a
subclass
of
muscle
(
subclass
ScaleneMuscle
Muscle
)
Muscles.kif 702-702
Scalene muscle
is a
subclass
of
muscle
(
subclass
ScaleneAnteriorMuscle
Muscle
)
Muscles.kif 712-712
Scalene anterior muscle
is a
subclass
of
muscle
(
subclass
ScaleneMediusMuscle
Muscle
)
Muscles.kif 723-723
Scalene medius muscle
is a
subclass
of
muscle
(
subclass
ScalenePosteriorMuscle
Muscle
)
Muscles.kif 733-733
Scalene posterior muscle
is a
subclass
of
muscle
(
subclass
LevatorScapulaeMuscle
Muscle
)
Muscles.kif 741-741
Levator scapulae muscle
is a
subclass
of
muscle
(
subclass
ObliquusCapitisSuperiorMuscle
Muscle
)
Muscles.kif 756-756
Obliquus capitis superior muscle
is a
subclass
of
muscle
(
subclass
ObliquusCapitisInferiorMuscle
Muscle
)
Muscles.kif 766-766
Obliquus capitis inferior muscle
is a
subclass
of
muscle
(
subclass
RectusCapitisPosteriorMinorMuscle
Muscle
)
Muscles.kif 773-773
Rectus capitis posterior minor muscle
is a
subclass
of
muscle
(
subclass
RectusCapitisPosteriorMajorMuscle
Muscle
)
Muscles.kif 783-783
Rectus capitis posterior major muscle
is a
subclass
of
muscle
(
subclass
SemispinalisCapitisMuscle
Muscle
)
Muscles.kif 794-794
Semispinalis capitis muscle
is a
subclass
of
muscle
(
subclass
LongissimusCapitisMuscle
Muscle
)
Muscles.kif 803-803
Longissimus capitis muscle
is a
subclass
of
muscle
(
subclass
SpleniusCapitisMuscle
Muscle
)
Muscles.kif 814-814
Splenius capitis muscle
is a
subclass
of
muscle
(
subclass
RectusAbdominisMuscle
Muscle
)
Muscles.kif 823-823
Rectus abdominis muscle
is a
subclass
of
muscle
(
subclass
ExternalObliqueMuscle
Muscle
)
Muscles.kif 835-835
External oblique muscle
is a
subclass
of
muscle
(
subclass
InternalObliqueMuscle
Muscle
)
Muscles.kif 846-846
Internal oblique muscle
is a
subclass
of
muscle
(
subclass
TransversusAbdominis
Muscle
)
Muscles.kif 855-855
Transversus abdominis muscle
is a
subclass
of
muscle
(
subclass
PyramidalisMuscle
Muscle
)
Muscles.kif 864-864
Pyramidalis muscle
is a
subclass
of
muscle
(
subclass
QuadratusLumborumMuscle
Muscle
)
Muscles.kif 874-874
Quadratus lumborum muscle
is a
subclass
of
muscle
(
subclass
ErectorSpinaeMuscle
Muscle
)
Muscles.kif 883-883
Iliocostalis muscle
is a
subclass
of
muscle
(
subclass
IliocostalisMuscle
Muscle
)
Muscles.kif 893-893
IliocostalisMuscle
is a
subclass
of
muscle
(
subclass
LongissimusMuscle
Muscle
)
Muscles.kif 903-903
Longissimus muscle
is a
subclass
of
muscle
(
subclass
SpinalisMuscle
Muscle
)
Muscles.kif 913-913
Spinalis muscle
is a
subclass
of
muscle
(
subclass
LatissimusDorsiMuscle
Muscle
)
Muscles.kif 923-923
Latissimus dorsi muscle
is a
subclass
of
muscle
(
subclass
TransversospinalesMuscle
Muscle
)
Muscles.kif 933-933
Transversospinales muscle
is a
subclass
of
muscle
(
subclass
SemispinalisThoracisMuscle
Muscle
)
Muscles.kif 941-941
Semispinalis thoracis muscle
is a
subclass
of
muscle
(
subclass
SemispinalisCervicisMuscle
Muscle
)
Muscles.kif 948-948
Semispinalis cervicis muscle
is a
subclass
of
muscle
(
subclass
MultifidusMuscle
Muscle
)
Muscles.kif 961-961
Multifidus muscle
is a
subclass
of
muscle
(
subclass
RotatoresMuscle
Muscle
)
Muscles.kif 968-968
Rotatores muscle
is a
subclass
of
muscle
(
subclass
InterspinalesMuscle
Muscle
)
Muscles.kif 976-976
Interspinales muscle
is a
subclass
of
muscle
(
subclass
IntertransversariiMuscle
Muscle
)
Muscles.kif 985-985
Intertransversarii muscle
is a
subclass
of
muscle
(
subclass
SpleniusCervicisMuscle
Muscle
)
Muscles.kif 992-992
Splenius cervicis muscle
is a
subclass
of
muscle
(
subclass
IntercostalsMuscle
Muscle
)
Muscles.kif 1001-1001
Intercostals muscle
is a
subclass
of
muscle
(
subclass
ExternalIntercostalsMuscle
Muscle
)
Muscles.kif 1010-1010
External intercostals muscle
is a
subclass
of
muscle
(
subclass
InternalIntercostalsMuscle
Muscle
)
Muscles.kif 1019-1019
Internal intercostals muscle
is a
subclass
of
muscle
(
subclass
InnermostIntercostalsMuscle
Muscle
)
Muscles.kif 1028-1028
Innermost intercostals muscle
is a
subclass
of
muscle
(
subclass
SubcostalesMuscle
Muscle
)
Muscles.kif 1036-1036
Subcostales muscle
is a
subclass
of
muscle
(
subclass
TransversusThoracisMuscle
Muscle
)
Muscles.kif 1043-1043
Transversus thoracis muscle
is a
subclass
of
muscle
(
subclass
LevatoresCostarumMuscle
Muscle
)
Muscles.kif 1051-1051
Levatores costarum muscle
is a
subclass
of
muscle
(
subclass
SerratusPosteriorInferiorMuscle
Muscle
)
Muscles.kif 1060-1060
Serratus posterior inferior muscle
is a
subclass
of
muscle
(
subclass
SerratusPosteriorSuperiorMuscle
Muscle
)
Muscles.kif 1068-1068
Serratus posterior superior muscle
is a
subclass
of
muscle
(
subclass
DiaphragmMuscle
Muscle
)
Muscles.kif 1078-1078
Diaphragm muscle
is a
subclass
of
muscle
(
subclass
CoccygeusMuscle
Muscle
)
Muscles.kif 1087-1087
Coccygeus muscle
is a
subclass
of
muscle
(
subclass
LevatorAniIliococcygeusMuscle
Muscle
)
Muscles.kif 1096-1096
Levator ani iliococcygeus muscle
is a
subclass
of
muscle
(
subclass
PuborectalisMuscle
Muscle
)
Muscles.kif 1106-1106
Levator ani puborectalis muscle
is a
subclass
of
muscle
(
subclass
LevatorAniPuborectalisMuscle
Muscle
)
Muscles.kif 1114-1114
LevatorAniPuborectalisMuscle
is a
subclass
of
muscle
(
subclass
SphincterAniExternusMuscle
Muscle
)
Muscles.kif 1123-1123
Sphincter ani externus muscle
is a
subclass
of
muscle
(
subclass
SphincterAniInternusMuscle
Muscle
)
Muscles.kif 1131-1131
Sphincter ani internus muscle
is a
subclass
of
muscle
(
subclass
SuperficialTransversePerinealMuscle
Muscle
)
Muscles.kif 1139-1139
Superficial transverse perineal muscle
is a
subclass
of
muscle
(
subclass
BulbospongiosusMuscle
Muscle
)
Muscles.kif 1148-1148
Bulbospongiosus muscle
is a
subclass
of
muscle
(
subclass
IschiocavernosusMuscle
Muscle
)
Muscles.kif 1156-1156
Ischiocavernosus muscle
is a
subclass
of
muscle
(
subclass
DeepTransversePerinealMuscleMuscle
Muscle
)
Muscles.kif 1166-1166
Deep transverse perineal muscle
is a
subclass
of
muscle
(
subclass
SphincterUrethraeMembranaceaeMuscle
Muscle
)
Muscles.kif 1174-1174
Sphincter urethrae membranaceae muscle
is a
subclass
of
muscle
(
subclass
TrapeziusMuscle
Muscle
)
Muscles.kif 1184-1184
Trapezius muscle
is a
subclass
of
muscle
(
subclass
RhomboidsMuscle
Muscle
)
Muscles.kif 1196-1196
Rhomboids muscle
is a
subclass
of
muscle
(
subclass
RhomboidMajorMuscle
Muscle
)
Muscles.kif 1208-1208
Rhomboid major muscle
is a
subclass
of
muscle
(
subclass
RhomboidMinorMuscle
Muscle
)
Muscles.kif 1218-1218
Rhomboid minor muscle
is a
subclass
of
muscle
(
subclass
PectoralisMajorMuscle
Muscle
)
Muscles.kif 1227-1227
Pectoralis major muscle
is a
subclass
of
muscle
(
subclass
PectoralisMinorMuscle
Muscle
)
Muscles.kif 1237-1237
Pectoralis minor muscle
is a
subclass
of
muscle
(
subclass
SubclaviusMuscle
Muscle
)
Muscles.kif 1248-1248
Subclavius muscle
is a
subclass
of
muscle
(
subclass
SerratusAnteriorMuscle
Muscle
)
Muscles.kif 1258-1258
Serratus anterior muscle
is a
subclass
of
muscle
(
subclass
DeltoidMuscle
Muscle
)
Mid-level-ontology.kif 10820-10820
Deltoid muscle
is a
subclass
of
muscle
(
subclass
TeresMajorMuscle
Muscle
)
Muscles.kif 1280-1280
Teres major muscle
is a
subclass
of
muscle
(
subclass
SupraspinatusMuscle
Muscle
)
Muscles.kif 1290-1290
Supraspinatus muscle
is a
subclass
of
muscle
(
subclass
InfraspinatusMuscle
Muscle
)
Muscles.kif 1301-1301
Infraspinatus muscle
is a
subclass
of
muscle
(
subclass
TeresMinorMuscle
Muscle
)
Muscles.kif 1310-1310
Teres minor muscle
is a
subclass
of
muscle
(
subclass
SubscapularisMuscle
Muscle
)
Muscles.kif 1319-1319
Subscapularis muscle
is a
subclass
of
muscle
(
subclass
CoracobrachialisMuscle
Muscle
)
Muscles.kif 1330-1330
Coracobrachialis muscle
is a
subclass
of
muscle
(
subclass
BicepsBrachiiMuscle
Muscle
)
Muscles.kif 1340-1340
Coracobrachialis muscle
is a
subclass
of
muscle
(
subclass
BrachialisMuscle
Muscle
)
Muscles.kif 1348-1348
Brachialis muscle
is a
subclass
of
muscle
(
subclass
TricepsBrachiiMuscle
Muscle
)
Muscles.kif 1357-1357
Triceps brachii muscle
is a
subclass
of
muscle
(
subclass
AnconeusMuscle
Muscle
)
Muscles.kif 1369-1369
Anconeus muscle
is a
subclass
of
muscle
(
subclass
PronatorTeresMuscle
Muscle
)
Muscles.kif 1379-1379
Pronator teres muscle
is a
subclass
of
muscle
(
subclass
FlexorCarpiRadialisMuscle
Muscle
)
Muscles.kif 1391-1391
Flexor carpi radialis muscle
is a
subclass
of
muscle
(
subclass
PalmarisLongusMuscle
Muscle
)
Muscles.kif 1400-1400
Palmaris longus muscle
is a
subclass
of
muscle
(
subclass
FlexorCarpiUlnarisMuscle
Muscle
)
Muscles.kif 1409-1409
Flexor carpi ulnaris muscle
is a
subclass
of
muscle
(
subclass
FlexorDigitorumSuperficialisMuscle
Muscle
)
Muscles.kif 1420-1420
Flexor digitorum superficialis muscle
is a
subclass
of
muscle
(
subclass
PronatorQuadratusMuscle
Muscle
)
Muscles.kif 1429-1429
Pronator quadratus muscle
is a
subclass
of
muscle
(
subclass
FlexorDigitorumProfundusMuscle
Muscle
)
Muscles.kif 1440-1440
Flexor digitorum profundus muscle
is a
subclass
of
muscle
(
subclass
FlexorPollicisLongusMuscle
Muscle
)
Muscles.kif 1449-1449
Flexor pollicis longus muscle
is a
subclass
of
muscle
(
subclass
ExtensorDigitorumMuscle
Muscle
)
Muscles.kif 1460-1460
Extensor digitorum muscle
is a
subclass
of
muscle
(
subclass
ExtensorDigitiMinimiMuscle
Muscle
)
Muscles.kif 1471-1471
Extensor digiti minimi muscle
is a
subclass
of
muscle
(
subclass
ExtensorCarpiUlnarisMuscle
Muscle
)
Muscles.kif 1480-1480
Extensor carpi ulnaris muscle
is a
subclass
of
muscle
(
subclass
BrachioradialisMuscle
Muscle
)
Muscles.kif 1489-1489
Brachioradialis muscle
is a
subclass
of
muscle
(
subclass
ExtensorCarpiRadialisLongusMuscle
Muscle
)
Muscles.kif 1497-1497
Extensor carpi radialis longus muscle
is a
subclass
of
muscle
(
subclass
ExtensorCarpiRadialisBrevisMuscle
Muscle
)
Muscles.kif 1506-1506
Extensor carpi radialis brevis muscle
is a
subclass
of
muscle
(
subclass
SupinatorMuscle
Muscle
)
Muscles.kif 1517-1517
Supinator muscle
is a
subclass
of
muscle
(
subclass
ExtensorIndicisMuscle
Muscle
)
Muscles.kif 1528-1528
Extensor indicis muscle
is a
subclass
of
muscle
(
subclass
AbductorPollicisLongusMuscle
Muscle
)
Muscles.kif 1535-1535
Abductor pollicis longus muscle
is a
subclass
of
muscle
(
subclass
ExtensorPollicisBrevisMuscle
Muscle
)
Muscles.kif 1544-1544
Extensor pollicis brevis muscle
is a
subclass
of
muscle
(
subclass
ExtensorPollicisLongusMuscle
Muscle
)
Muscles.kif 1553-1553
Extensor pollicis longus muscle
is a
subclass
of
muscle
(
subclass
OpponensPollicisMuscle
Muscle
)
Muscles.kif 1562-1562
Opponens pollicis muscle
is a
subclass
of
muscle
(
subclass
FlexorPollicisBrevisMuscle
Muscle
)
Muscles.kif 1570-1570
Flexor pollicis brevis muscle
is a
subclass
of
muscle
(
subclass
AbductorPollicisBrevisMuscle
Muscle
)
Muscles.kif 1581-1581
Abductor pollicis brevis muscle
is a
subclass
of
muscle
(
subclass
AbductorPollicisMuscle
Muscle
)
Muscles.kif 1590-1590
Abductor pollicis brevis muscle
is a
subclass
of
muscle
(
subclass
PalmarisBrevisMuscle
Muscle
)
Muscles.kif 1598-1598
Palmaris brevis muscle
is a
subclass
of
muscle
(
subclass
AbductorDigitiMinimiMuscle
Muscle
)
Muscles.kif 1608-1608
Abductor digiti minimi muscle
is a
subclass
of
muscle
(
subclass
FingerFlexorDigitiMinimiBrevisMuscle
Muscle
)
Muscles.kif 1618-1618
Finger flexor digiti minimi brevis muscle
is a
subclass
of
muscle
(
subclass
OpponensDigitiMinimiMuscle
Muscle
)
Muscles.kif 1627-1627
Opponens digiti minimi muscle
is a
subclass
of
muscle
(
subclass
LumbricalMuscle
Muscle
)
Muscles.kif 1637-1637
Lumbrical muscle
is a
subclass
of
muscle
(
subclass
FingerDorsalInterosseiMuscle
Muscle
)
Muscles.kif 1647-1647
Finger dorsal interossei muscle
is a
subclass
of
muscle
(
subclass
PalmarInterosseiMuscle
Muscle
)
Muscles.kif 1656-1656
Palmar interossei muscle
is a
subclass
of
muscle
(
subclass
IliopsoasMuscle
Muscle
)
Muscles.kif 1665-1665
Iliopsoas muscle
is a
subclass
of
muscle
(
subclass
PsoasMajorMuscle
Muscle
)
Muscles.kif 1676-1676
Psoas major muscle
is a
subclass
of
muscle
(
subclass
PsoasMinorMuscle
Muscle
)
Muscles.kif 1687-1687
Psoas minor muscle
is a
subclass
of
muscle
(
subclass
IliacusMuscle
Muscle
)
Muscles.kif 1698-1698
Iliacus muscle
is a
subclass
of
muscle
(
subclass
TensorFasciaeLataeMuscle
Muscle
)
Muscles.kif 1709-1709
Tensor fasciae latae muscle
is a
subclass
of
muscle
(
subclass
GluteusMaximusMuscle
Muscle
)
Mid-level-ontology.kif 10823-10823
Gluteus maximus
is a
subclass
of
muscle
(
subclass
GluteusMediusMuscle
Muscle
)
Muscles.kif 1730-1730
Gluteus medius muscle
is a
subclass
of
muscle
(
subclass
GluteusMinimusMuscle
Muscle
)
Muscles.kif 1741-1741
Gluteus minimus muscle
is a
subclass
of
muscle
(
subclass
LateralRotatorGroupMuscle
Muscle
)
Muscles.kif 1748-1748
Lateral rotator group muscle
is a
subclass
of
muscle
(
subclass
PiriformisMuscle
Muscle
)
Muscles.kif 1759-1759
Piriformis muscle
is a
subclass
of
muscle
(
subclass
ObturatorExternusMuscle
Muscle
)
Muscles.kif 1769-1769
Obturator externus muscle
is a
subclass
of
muscle
(
subclass
SuperiorGemellusMuscle
Muscle
)
Muscles.kif 1779-1779
Superior gemellus muscle
is a
subclass
of
muscle
(
subclass
ObturatorInternusMuscle
Muscle
)
Muscles.kif 1786-1786
Obturator internus muscle
is a
subclass
of
muscle
(
subclass
InferiorGemellusMuscle
Muscle
)
Muscles.kif 1793-1793
Inferior gemellus muscle
is a
subclass
of
muscle
(
subclass
QuadratusFemorisMuscle
Muscle
)
Muscles.kif 1802-1802
Quadratus femoris muscle
is a
subclass
of
muscle
(
subclass
ArticularisGenusMuscle
Muscle
)
Muscles.kif 1809-1809
Articularis genus muscle
is a
subclass
of
muscle
(
subclass
SartoriusMuscle
Muscle
)
Muscles.kif 1819-1819
Sartorius muscle
is a
subclass
of
muscle
(
subclass
QuadricepsFemorisMuscle
Muscle
)
Muscles.kif 1827-1827
Quadriceps femoris muscle
is a
subclass
of
muscle
(
subclass
RectusFemorisMuscle
Muscle
)
Muscles.kif 1836-1836
Rectus femoris muscle
is a
subclass
of
muscle
(
subclass
VastusLateralisMuscle
Muscle
)
Muscles.kif 1845-1845
Vastus lateralis muscle
is a
subclass
of
muscle
(
subclass
VastusIntermediusMuscle
Muscle
)
Muscles.kif 1854-1854
Vastus intermedius muscle
is a
subclass
of
muscle
(
subclass
VastusMedialisMuscle
Muscle
)
Muscles.kif 1863-1863
Vastus medialis muscle
is a
subclass
of
muscle
(
subclass
BicepsFemorisMuscle
Muscle
)
Muscles.kif 1872-1872
Biceps femoris muscle
is a
subclass
of
muscle
(
subclass
SemitendinosusMuscle
Muscle
)
Muscles.kif 1883-1883
Semitendinosus muscle
is a
subclass
of
muscle
(
subclass
SemimembranosusMuscle
Muscle
)
Muscles.kif 1894-1894
Semimembranosus muscle
is a
subclass
of
muscle
(
subclass
AdductorMusclesOfTheHipMuscle
Muscle
)
Muscles.kif 1905-1905
Adductor muscles of the &hip
is a
subclass
of
muscle
(
subclass
GracilisMuscle
Muscle
)
Muscles.kif 1916-1916
Gracilis muscle
is a
subclass
of
muscle
(
subclass
PectineusMuscle
Muscle
)
Muscles.kif 1927-1927
Pectineus muscle
is a
subclass
of
muscle
(
subclass
AdductorBrevisMuscle
Muscle
)
Muscles.kif 1938-1938
Adductor brevis muscle
is a
subclass
of
muscle
(
subclass
AdductorLongusMuscle
Muscle
)
Muscles.kif 1947-1947
Adductor longus muscle
is a
subclass
of
muscle
(
subclass
AdductorMagnusMuscle
Muscle
)
Muscles.kif 1956-1956
Adductor magnus muscle
is a
subclass
of
muscle
(
subclass
TibialisAnteriorMuscle
Muscle
)
Muscles.kif 1967-1967
Tibialis anterior muscle
is a
subclass
of
muscle
(
subclass
ExtensorHallucisLongusMuscle
Muscle
)
Muscles.kif 1978-1978
Extensor hallucis longus muscle
is a
subclass
of
muscle
(
subclass
ExtensorDigitorumLongusMuscle
Muscle
)
Muscles.kif 1987-1987
Extensor digitorum longus muscle
is a
subclass
of
muscle
(
subclass
FibularisTertiusMuscle
Muscle
)
Muscles.kif 1996-1996
Fibularis tertius muscle
is a
subclass
of
muscle
(
subclass
TricepsSuraeMuscle
Muscle
)
Muscles.kif 2004-2004
Triceps surae muscle
is a
subclass
of
muscle
(
subclass
GastrocnemiusMuscle
Muscle
)
Muscles.kif 2013-2013
Gastrocnemius muscle
is a
subclass
of
muscle
(
subclass
SoleusMuscle
Muscle
)
Muscles.kif 2024-2024
Soleus muscle
is a
subclass
of
muscle
(
subclass
PlantarisMuscle
Muscle
)
Muscles.kif 2035-2035
Plantaris muscle
is a
subclass
of
muscle
(
subclass
PopliteusMuscle
Muscle
)
Muscles.kif 2044-2044
Popliteus muscle
is a
subclass
of
muscle
(
subclass
FlexorHallucisLongusMuscle
Muscle
)
Muscles.kif 2052-2052
Flexor hallucis longus muscle
is a
subclass
of
muscle
(
subclass
FlexorDigitorumLongusMuscle
Muscle
)
Muscles.kif 2063-2063
Flexor digitorum longus muscle
is a
subclass
of
muscle
(
subclass
TibialisPosteriorMuscle
Muscle
)
Muscles.kif 2072-2072
Tibialis posterior muscle
is a
subclass
of
muscle
(
subclass
FibularisLongusMuscle
Muscle
)
Muscles.kif 2081-2081
Fibularis longus muscle
is a
subclass
of
muscle
(
subclass
FibularisBrevisMuscle
Muscle
)
Muscles.kif 2092-2092
Fibularis brevis muscle
is a
subclass
of
muscle
(
subclass
ExtensorDigitorumBrevisMuscle
Muscle
)
Muscles.kif 2101-2101
Extensor digitorum brevis
is a
subclass
of
muscle
(
subclass
ExtensorHallucisBrevisMuscle
Muscle
)
Muscles.kif 2109-2109
Extensor hallucis brevis muscle
is a
subclass
of
muscle
(
subclass
DorsalInterosseiOfFootMuscle
Muscle
)
Muscles.kif 2117-2117
Dorsal interossei of foot muscle
is a
subclass
of
muscle
(
subclass
AbductorHallucisMuscle
Muscle
)
Muscles.kif 2127-2127
Abductor hallucis muscle
is a
subclass
of
muscle
(
subclass
FlexorDigitorumBrevisMuscle
Muscle
)
Muscles.kif 2137-2137
Flexor digitorum brevis muscle
is a
subclass
of
muscle
(
subclass
QuadratusPlantaeMuscle
Muscle
)
Muscles.kif 2155-2155
Quadratus plantae muscle
is a
subclass
of
muscle
(
subclass
LumbricalsMuscle
Muscle
)
Muscles.kif 2162-2162
Lumbricals muscle
is a
subclass
of
muscle
(
subclass
FlexorHallucisBrevisMuscle
Muscle
)
Muscles.kif 2172-2172
Flexor hallucis brevis muscle
is a
subclass
of
muscle
(
subclass
AdductorHallucisMuscle
Muscle
)
Muscles.kif 2180-2180
Adductor hallucis muscle
is a
subclass
of
muscle
(
subclass
FlexorDigitiMinimiBrevisMuscle
Muscle
)
Muscles.kif 2190-2190
Flexor digiti minimi brevis muscle
is a
subclass
of
muscle
(
subclass
PlantarInterosseiMuscle
Muscle
)
Muscles.kif 2200-2200
Plantar interossei muscle
is a
subclass
of
muscle
(
subclass
DorsalInterosseiMuscle
Muscle
)
Muscles.kif 2209-2209
Dorsal interossei muscle
is a
subclass
of
muscle
(
subclass
VoluntaryMuscle
Muscle
)
Mid-level-ontology.kif 10400-10400
Voluntary muscle
is a
subclass
of
muscle
(
subclass
InvoluntaryMuscle
Muscle
)
Mid-level-ontology.kif 10412-10412
Involuntary muscle
is a
subclass
of
muscle
(
subclass
Pectoralis
Muscle
)
Mid-level-ontology.kif 10766-10766
Chest muscle
is a
subclass
of
muscle
(
subclass
LatissimusDorsi
Muscle
)
Mid-level-ontology.kif 10773-10773
Upper back muscle
is a
subclass
of
muscle
(
subclass
Bicep
Muscle
)
Mid-level-ontology.kif 10781-10781
Bicep
is a
subclass
of
muscle
(
subclass
Tricep
Muscle
)
Mid-level-ontology.kif 10786-10786
Tricep
is a
subclass
of
muscle
(
subclass
ThighMuscle
Muscle
)
Mid-level-ontology.kif 10791-10791
Quadriceps
is a
subclass
of
muscle
(
subclass
CalfMuscle
Muscle
)
Mid-level-ontology.kif 10799-10799
Gastrocnemius
is a
subclass
of
muscle
(
subclass
ShinMuscle
Muscle
)
Mid-level-ontology.kif 10806-10806
Tibialis anterior
is a
subclass
of
muscle
(
subclass
HamstringMuscle
Muscle
)
Mid-level-ontology.kif 10812-10812
Hamstring muscle
is a
subclass
of
muscle
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