Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

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