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
(
subclass
OccipitofrontalisMuscle
Muscle
)
Muscles.kif 19-19
(
subclass
OccipitalisMuscle
Muscle
)
Muscles.kif 34-34
(
subclass
FrontalisMuscle
Muscle
)
Muscles.kif 44-44
(
subclass
OrbicularisOculiMuscle
Muscle
)
Muscles.kif 54-54
(
subclass
CorrugatorSuperciliiMuscle
Muscle
)
Muscles.kif 64-64
(
subclass
DepressorSuperciliiMuscle
Muscle
)
Muscles.kif 72-72
(
subclass
LevatorPalpebraeSuperiorisMuscle
Muscle
)
Muscles.kif 79-79
(
subclass
SuperiorTarsalMuscle
Muscle
)
Muscles.kif 90-90
(
subclass
SuperiorRectusMuscle
Muscle
)
Muscles.kif 101-101
(
subclass
InferiorRectusMuscle
Muscle
)
Muscles.kif 111-111
(
subclass
MedialRectusMuscle
Muscle
)
Muscles.kif 121-121
(
subclass
LateralRectusMuscle
Muscle
)
Muscles.kif 129-129
(
subclass
SuperiorObliqueMuscle
Muscle
)
Muscles.kif 139-139
(
subclass
InferiorObliqueMuscle
Muscle
)
Muscles.kif 149-149
(
subclass
TemporoparietalisMuscle
Muscle
)
Muscles.kif 156-156
(
subclass
AuricularisAnteriorMuscle
Muscle
)
Muscles.kif 163-163
(
subclass
AuricularisSuperiorMuscle
Muscle
)
Muscles.kif 171-171
(
subclass
AuricularisPosteriorMuscle
Muscle
)
Muscles.kif 179-179
(
subclass
StapediusMuscle
Muscle
)
Muscles.kif 187-187
(
subclass
TensorTympaniMuscle
Muscle
)
Muscles.kif 197-197
(
subclass
ProcerusMuscleMuscle
Muscle
)
Muscles.kif 207-207
(
subclass
DepressorSeptiNasiMuscle
Muscle
)
Muscles.kif 217-217
(
subclass
LevatorLabiiSuperiorisAlaequeNasiMuscle
Muscle
)
Muscles.kif 225-225
(
subclass
TransversePartCompressorNarisMuscle
Muscle
)
Muscles.kif 233-233
(
subclass
AlarPartDilatorNarisMuscle
Muscle
)
Muscles.kif 241-241
(
subclass
LevatorAngulaOrisMuscle
Muscle
)
Muscles.kif 249-249
(
subclass
DepressorAnguliOrisMuscle
Muscle
)
Muscles.kif 258-258
(
subclass
LevatorLabiiSuperiorisMuscle
Muscle
)
Muscles.kif 266-266
(
subclass
DepressorLabiiInferiorisMuscle
Muscle
)
Muscles.kif 275-275
(
subclass
MentalisMuscle
Muscle
)
Muscles.kif 285-285
(
subclass
BuccinatorMuscle
Muscle
)
Muscles.kif 293-293
(
subclass
OrbicularisOrisMuscle
Muscle
)
Muscles.kif 301-301
(
subclass
RisoriusMuscle
Muscle
)
Muscles.kif 310-310
(
subclass
ZygomaticMajorMuscle
Muscle
)
Muscles.kif 318-318
(
subclass
ZygomaticMinorMuscle
Muscle
)
Muscles.kif 326-326
(
subclass
MasseterMuscle
Muscle
)
Muscles.kif 334-334
(
subclass
TemporalisMuscle
Muscle
)
Muscles.kif 345-345
(
subclass
PterygoidLateralMuscle
Muscle
)
Muscles.kif 356-356
(
subclass
PterygoidMedialMuscle
Muscle
)
Muscles.kif 367-367
(
subclass
GenioglossusMuscle
Muscle
)
Muscles.kif 375-375
(
subclass
HyoglossusMuscle
Muscle
)
Muscles.kif 386-386
(
subclass
ChondroglossusMuscle
Muscle
)
Muscles.kif 393-393
(
subclass
StyloglossusMuscle
Muscle
)
Muscles.kif 400-400
(
subclass
PalatoglossusMuscle
Muscle
)
Muscles.kif 409-409
(
subclass
SuperiorLongitudinalMuscle
Muscle
)
Muscles.kif 417-417
(
subclass
TransversusMuscle
Muscle
)
Muscles.kif 425-425
(
subclass
InferiorLongitudinalMuscle
Muscle
)
Muscles.kif 433-433
(
subclass
VerticalisMuscle
Muscle
)
Muscles.kif 441-441
(
subclass
TensorVeliPalatiniMuscle
Muscle
)
Muscles.kif 448-448
(
subclass
LevatorVeliPalatiniMuscle
Muscle
)
Muscles.kif 455-455
(
subclass
PalatopharyngeusMuscle
Muscle
)
Muscles.kif 469-469
(
subclass
PalatineUvulaMuscle
Muscle
)
Muscles.kif 479-479
(
subclass
StylopharyngeusMuscle
Muscle
)
Muscles.kif 486-486
(
subclass
SalpingopharyngeusMuscle
Muscle
)
Muscles.kif 496-496
(
subclass
PharyngealInferiorMuscle
Muscle
)
Muscles.kif 503-503
(
subclass
PharyngealMiddleMuscle
Muscle
)
Muscles.kif 513-513
(
subclass
PharyngealSuperiorMuscle
Muscle
)
Muscles.kif 521-521
(
subclass
CricothyroidMuscle
Muscle
)
Muscles.kif 529-529
(
subclass
ArytenoidTransverseAndObliqueMuscle
Muscle
)
Muscles.kif 539-539
(
subclass
ThyroarytenoidMuscle
Muscle
)
Muscles.kif 549-549
(
subclass
CricoarytenoidPosteriorMuscle
Muscle
)
Muscles.kif 556-556
(
subclass
CricoarytenoidLateralMuscle
Muscle
)
Muscles.kif 564-564
(
subclass
PlatysmaMuscle
Muscle
)
Muscles.kif 572-572
(
subclass
SternocleidomastoidMuscle
Muscle
)
Muscles.kif 583-583
(
subclass
DigastricMuscle
Muscle
)
Muscles.kif 596-596
(
subclass
StylohyoidMuscle
Muscle
)
Muscles.kif 606-606
(
subclass
MylohyoidMuscle
Muscle
)
Muscles.kif 614-614
(
subclass
GeniohyoidMuscle
Muscle
)
Muscles.kif 624-624
(
subclass
SternohyoidMuscle
Muscle
)
Muscles.kif 633-633
(
subclass
SternothyroidMuscle
Muscle
)
Muscles.kif 643-643
(
subclass
ThyrohyoidMuscle
Muscle
)
Muscles.kif 651-651
(
subclass
OmohyoidMuscle
Muscle
)
Muscles.kif 661-661
(
subclass
LongusColliMuscle
Muscle
)
Muscles.kif 669-669
(
subclass
LongusCapitisMuscle
Muscle
)
Muscles.kif 679-679
(
subclass
RectusCapitisAnteriorMuscle
Muscle
)
Muscles.kif 688-688
(
subclass
RectusCapitisLateralisMuscle
Muscle
)
Muscles.kif 694-694
(
subclass
ScaleneMuscle
Muscle
)
Muscles.kif 702-702
(
subclass
ScaleneAnteriorMuscle
Muscle
)
Muscles.kif 712-712
(
subclass
ScaleneMediusMuscle
Muscle
)
Muscles.kif 723-723
(
subclass
ScalenePosteriorMuscle
Muscle
)
Muscles.kif 733-733
(
subclass
LevatorScapulaeMuscle
Muscle
)
Muscles.kif 741-741
(
subclass
ObliquusCapitisSuperiorMuscle
Muscle
)
Muscles.kif 756-756
(
subclass
ObliquusCapitisInferiorMuscle
Muscle
)
Muscles.kif 766-766
(
subclass
RectusCapitisPosteriorMinorMuscle
Muscle
)
Muscles.kif 773-773
(
subclass
RectusCapitisPosteriorMajorMuscle
Muscle
)
Muscles.kif 783-783
(
subclass
SemispinalisCapitisMuscle
Muscle
)
Muscles.kif 794-794
(
subclass
LongissimusCapitisMuscle
Muscle
)
Muscles.kif 803-803
(
subclass
SpleniusCapitisMuscle
Muscle
)
Muscles.kif 814-814
(
subclass
RectusAbdominisMuscle
Muscle
)
Muscles.kif 823-823
(
subclass
ExternalObliqueMuscle
Muscle
)
Muscles.kif 835-835
(
subclass
InternalObliqueMuscle
Muscle
)
Muscles.kif 846-846
(
subclass
TransversusAbdominis
Muscle
)
Muscles.kif 855-855
(
subclass
PyramidalisMuscle
Muscle
)
Muscles.kif 864-864
(
subclass
QuadratusLumborumMuscle
Muscle
)
Muscles.kif 874-874
(
subclass
ErectorSpinaeMuscle
Muscle
)
Muscles.kif 883-883
(
subclass
IliocostalisMuscle
Muscle
)
Muscles.kif 893-893
(
subclass
LongissimusMuscle
Muscle
)
Muscles.kif 903-903
(
subclass
SpinalisMuscle
Muscle
)
Muscles.kif 913-913
(
subclass
LatissimusDorsiMuscle
Muscle
)
Muscles.kif 923-923
(
subclass
TransversospinalesMuscle
Muscle
)
Muscles.kif 933-933
(
subclass
SemispinalisThoracisMuscle
Muscle
)
Muscles.kif 941-941
(
subclass
SemispinalisCervicisMuscle
Muscle
)
Muscles.kif 948-948
(
subclass
MultifidusMuscle
Muscle
)
Muscles.kif 961-961
(
subclass
RotatoresMuscle
Muscle
)
Muscles.kif 968-968
(
subclass
InterspinalesMuscle
Muscle
)
Muscles.kif 976-976
(
subclass
IntertransversariiMuscle
Muscle
)
Muscles.kif 985-985
(
subclass
SpleniusCervicisMuscle
Muscle
)
Muscles.kif 992-992
(
subclass
IntercostalsMuscle
Muscle
)
Muscles.kif 1001-1001
(
subclass
ExternalIntercostalsMuscle
Muscle
)
Muscles.kif 1010-1010
(
subclass
InternalIntercostalsMuscle
Muscle
)
Muscles.kif 1019-1019
(
subclass
InnermostIntercostalsMuscle
Muscle
)
Muscles.kif 1028-1028
(
subclass
SubcostalesMuscle
Muscle
)
Muscles.kif 1036-1036
(
subclass
TransversusThoracisMuscle
Muscle
)
Muscles.kif 1043-1043
(
subclass
LevatoresCostarumMuscle
Muscle
)
Muscles.kif 1051-1051
(
subclass
SerratusPosteriorInferiorMuscle
Muscle
)
Muscles.kif 1060-1060
(
subclass
SerratusPosteriorSuperiorMuscle
Muscle
)
Muscles.kif 1068-1068
(
subclass
DiaphragmMuscle
Muscle
)
Muscles.kif 1078-1078
(
subclass
CoccygeusMuscle
Muscle
)
Muscles.kif 1087-1087
(
subclass
LevatorAniIliococcygeusMuscle
Muscle
)
Muscles.kif 1096-1096
(
subclass
PuborectalisMuscle
Muscle
)
Muscles.kif 1106-1106
(
subclass
LevatorAniPuborectalisMuscle
Muscle
)
Muscles.kif 1114-1114
(
subclass
SphincterAniExternusMuscle
Muscle
)
Muscles.kif 1123-1123
(
subclass
SphincterAniInternusMuscle
Muscle
)
Muscles.kif 1131-1131
(
subclass
SuperficialTransversePerinealMuscle
Muscle
)
Muscles.kif 1139-1139
(
subclass
BulbospongiosusMuscle
Muscle
)
Muscles.kif 1148-1148
(
subclass
IschiocavernosusMuscle
Muscle
)
Muscles.kif 1156-1156
(
subclass
DeepTransversePerinealMuscleMuscle
Muscle
)
Muscles.kif 1166-1166
(
subclass
SphincterUrethraeMembranaceaeMuscle
Muscle
)
Muscles.kif 1174-1174
(
subclass
TrapeziusMuscle
Muscle
)
Muscles.kif 1184-1184
(
subclass
RhomboidsMuscle
Muscle
)
Muscles.kif 1196-1196
(
subclass
RhomboidMajorMuscle
Muscle
)
Muscles.kif 1208-1208
(
subclass
RhomboidMinorMuscle
Muscle
)
Muscles.kif 1218-1218
(
subclass
PectoralisMajorMuscle
Muscle
)
Muscles.kif 1227-1227
(
subclass
PectoralisMinorMuscle
Muscle
)
Muscles.kif 1237-1237
(
subclass
SubclaviusMuscle
Muscle
)
Muscles.kif 1248-1248
(
subclass
SerratusAnteriorMuscle
Muscle
)
Muscles.kif 1258-1258
(
subclass
DeltoidMuscle
Muscle
)
Mid-level-ontology.kif 10820-10820
(
subclass
TeresMajorMuscle
Muscle
)
Muscles.kif 1280-1280
(
subclass
SupraspinatusMuscle
Muscle
)
Muscles.kif 1290-1290
(
subclass
InfraspinatusMuscle
Muscle
)
Muscles.kif 1301-1301
(
subclass
TeresMinorMuscle
Muscle
)
Muscles.kif 1310-1310
(
subclass
SubscapularisMuscle
Muscle
)
Muscles.kif 1319-1319
(
subclass
CoracobrachialisMuscle
Muscle
)
Muscles.kif 1330-1330
(
subclass
BicepsBrachiiMuscle
Muscle
)
Muscles.kif 1340-1340
(
subclass
BrachialisMuscle
Muscle
)
Muscles.kif 1348-1348
(
subclass
TricepsBrachiiMuscle
Muscle
)
Muscles.kif 1357-1357
(
subclass
AnconeusMuscle
Muscle
)
Muscles.kif 1369-1369
(
subclass
PronatorTeresMuscle
Muscle
)
Muscles.kif 1379-1379
(
subclass
FlexorCarpiRadialisMuscle
Muscle
)
Muscles.kif 1391-1391
(
subclass
PalmarisLongusMuscle
Muscle
)
Muscles.kif 1400-1400
(
subclass
FlexorCarpiUlnarisMuscle
Muscle
)
Muscles.kif 1409-1409
(
subclass
FlexorDigitorumSuperficialisMuscle
Muscle
)
Muscles.kif 1420-1420
(
subclass
PronatorQuadratusMuscle
Muscle
)
Muscles.kif 1429-1429
(
subclass
FlexorDigitorumProfundusMuscle
Muscle
)
Muscles.kif 1440-1440
(
subclass
FlexorPollicisLongusMuscle
Muscle
)
Muscles.kif 1449-1449
(
subclass
ExtensorDigitorumMuscle
Muscle
)
Muscles.kif 1460-1460
(
subclass
ExtensorDigitiMinimiMuscle
Muscle
)
Muscles.kif 1471-1471
(
subclass
ExtensorCarpiUlnarisMuscle
Muscle
)
Muscles.kif 1480-1480
(
subclass
BrachioradialisMuscle
Muscle
)
Muscles.kif 1489-1489
(
subclass
ExtensorCarpiRadialisLongusMuscle
Muscle
)
Muscles.kif 1497-1497
(
subclass
ExtensorCarpiRadialisBrevisMuscle
Muscle
)
Muscles.kif 1506-1506
(
subclass
SupinatorMuscle
Muscle
)
Muscles.kif 1517-1517
(
subclass
ExtensorIndicisMuscle
Muscle
)
Muscles.kif 1528-1528
(
subclass
AbductorPollicisLongusMuscle
Muscle
)
Muscles.kif 1535-1535
(
subclass
ExtensorPollicisBrevisMuscle
Muscle
)
Muscles.kif 1544-1544
(
subclass
ExtensorPollicisLongusMuscle
Muscle
)
Muscles.kif 1553-1553
(
subclass
OpponensPollicisMuscle
Muscle
)
Muscles.kif 1562-1562
(
subclass
FlexorPollicisBrevisMuscle
Muscle
)
Muscles.kif 1570-1570
(
subclass
AbductorPollicisBrevisMuscle
Muscle
)
Muscles.kif 1581-1581
(
subclass
AbductorPollicisMuscle
Muscle
)
Muscles.kif 1590-1590
(
subclass
PalmarisBrevisMuscle
Muscle
)
Muscles.kif 1598-1598
(
subclass
AbductorDigitiMinimiMuscle
Muscle
)
Muscles.kif 1608-1608
(
subclass
FingerFlexorDigitiMinimiBrevisMuscle
Muscle
)
Muscles.kif 1618-1618
(
subclass
OpponensDigitiMinimiMuscle
Muscle
)
Muscles.kif 1627-1627
(
subclass
LumbricalMuscle
Muscle
)
Muscles.kif 1637-1637
(
subclass
FingerDorsalInterosseiMuscle
Muscle
)
Muscles.kif 1647-1647
(
subclass
PalmarInterosseiMuscle
Muscle
)
Muscles.kif 1656-1656
(
subclass
IliopsoasMuscle
Muscle
)
Muscles.kif 1665-1665
(
subclass
PsoasMajorMuscle
Muscle
)
Muscles.kif 1676-1676
(
subclass
PsoasMinorMuscle
Muscle
)
Muscles.kif 1687-1687
(
subclass
IliacusMuscle
Muscle
)
Muscles.kif 1698-1698
(
subclass
TensorFasciaeLataeMuscle
Muscle
)
Muscles.kif 1709-1709
(
subclass
GluteusMaximusMuscle
Muscle
)
Mid-level-ontology.kif 10823-10823
(
subclass
GluteusMediusMuscle
Muscle
)
Muscles.kif 1730-1730
(
subclass
GluteusMinimusMuscle
Muscle
)
Muscles.kif 1741-1741
(
subclass
LateralRotatorGroupMuscle
Muscle
)
Muscles.kif 1748-1748
(
subclass
PiriformisMuscle
Muscle
)
Muscles.kif 1759-1759
(
subclass
ObturatorExternusMuscle
Muscle
)
Muscles.kif 1769-1769
(
subclass
SuperiorGemellusMuscle
Muscle
)
Muscles.kif 1779-1779
(
subclass
ObturatorInternusMuscle
Muscle
)
Muscles.kif 1786-1786
(
subclass
InferiorGemellusMuscle
Muscle
)
Muscles.kif 1793-1793
(
subclass
QuadratusFemorisMuscle
Muscle
)
Muscles.kif 1802-1802
(
subclass
ArticularisGenusMuscle
Muscle
)
Muscles.kif 1809-1809
(
subclass
SartoriusMuscle
Muscle
)
Muscles.kif 1819-1819
(
subclass
QuadricepsFemorisMuscle
Muscle
)
Muscles.kif 1827-1827
(
subclass
RectusFemorisMuscle
Muscle
)
Muscles.kif 1836-1836
(
subclass
VastusLateralisMuscle
Muscle
)
Muscles.kif 1845-1845
(
subclass
VastusIntermediusMuscle
Muscle
)
Muscles.kif 1854-1854
(
subclass
VastusMedialisMuscle
Muscle
)
Muscles.kif 1863-1863
(
subclass
BicepsFemorisMuscle
Muscle
)
Muscles.kif 1872-1872
(
subclass
SemitendinosusMuscle
Muscle
)
Muscles.kif 1883-1883
(
subclass
SemimembranosusMuscle
Muscle
)
Muscles.kif 1894-1894
(
subclass
AdductorMusclesOfTheHipMuscle
Muscle
)
Muscles.kif 1905-1905
(
subclass
GracilisMuscle
Muscle
)
Muscles.kif 1916-1916
(
subclass
PectineusMuscle
Muscle
)
Muscles.kif 1927-1927
(
subclass
AdductorBrevisMuscle
Muscle
)
Muscles.kif 1938-1938
(
subclass
AdductorLongusMuscle
Muscle
)
Muscles.kif 1947-1947
(
subclass
AdductorMagnusMuscle
Muscle
)
Muscles.kif 1956-1956
(
subclass
TibialisAnteriorMuscle
Muscle
)
Muscles.kif 1967-1967
(
subclass
ExtensorHallucisLongusMuscle
Muscle
)
Muscles.kif 1978-1978
(
subclass
ExtensorDigitorumLongusMuscle
Muscle
)
Muscles.kif 1987-1987
(
subclass
FibularisTertiusMuscle
Muscle
)
Muscles.kif 1996-1996
(
subclass
TricepsSuraeMuscle
Muscle
)
Muscles.kif 2004-2004
(
subclass
GastrocnemiusMuscle
Muscle
)
Muscles.kif 2013-2013
(
subclass
SoleusMuscle
Muscle
)
Muscles.kif 2024-2024
(
subclass
PlantarisMuscle
Muscle
)
Muscles.kif 2035-2035
(
subclass
PopliteusMuscle
Muscle
)
Muscles.kif 2044-2044
(
subclass
FlexorHallucisLongusMuscle
Muscle
)
Muscles.kif 2052-2052
(
subclass
FlexorDigitorumLongusMuscle
Muscle
)
Muscles.kif 2063-2063
(
subclass
TibialisPosteriorMuscle
Muscle
)
Muscles.kif 2072-2072
(
subclass
FibularisLongusMuscle
Muscle
)
Muscles.kif 2081-2081
(
subclass
FibularisBrevisMuscle
Muscle
)
Muscles.kif 2092-2092
(
subclass
ExtensorDigitorumBrevisMuscle
Muscle
)
Muscles.kif 2101-2101
(
subclass
ExtensorHallucisBrevisMuscle
Muscle
)
Muscles.kif 2109-2109
(
subclass
DorsalInterosseiOfFootMuscle
Muscle
)
Muscles.kif 2117-2117
(
subclass
AbductorHallucisMuscle
Muscle
)
Muscles.kif 2127-2127
(
subclass
FlexorDigitorumBrevisMuscle
Muscle
)
Muscles.kif 2137-2137
(
subclass
QuadratusPlantaeMuscle
Muscle
)
Muscles.kif 2155-2155
(
subclass
LumbricalsMuscle
Muscle
)
Muscles.kif 2162-2162
(
subclass
FlexorHallucisBrevisMuscle
Muscle
)
Muscles.kif 2172-2172
(
subclass
AdductorHallucisMuscle
Muscle
)
Muscles.kif 2180-2180
(
subclass
FlexorDigitiMinimiBrevisMuscle
Muscle
)
Muscles.kif 2190-2190
(
subclass
PlantarInterosseiMuscle
Muscle
)
Muscles.kif 2200-2200
(
subclass
DorsalInterosseiMuscle
Muscle
)
Muscles.kif 2209-2209
(
subclass
VoluntaryMuscle
Muscle
)
Mid-level-ontology.kif 10400-10400
(
subclass
InvoluntaryMuscle
Muscle
)
Mid-level-ontology.kif 10412-10412
(
subclass
Pectoralis
Muscle
)
Mid-level-ontology.kif 10766-10766
(
subclass
LatissimusDorsi
Muscle
)
Mid-level-ontology.kif 10773-10773
(
subclass
Bicep
Muscle
)
Mid-level-ontology.kif 10781-10781
(
subclass
Tricep
Muscle
)
Mid-level-ontology.kif 10786-10786
(
subclass
ThighMuscle
Muscle
)
Mid-level-ontology.kif 10791-10791
(
subclass
CalfMuscle
Muscle
)
Mid-level-ontology.kif 10799-10799
(
subclass
ShinMuscle
Muscle
)
Mid-level-ontology.kif 10806-10806
(
subclass
HamstringMuscle
Muscle
)
Mid-level-ontology.kif 10812-10812
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