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