No TPTP formula. May not be expressible in strict first order. | Merge.kif 15251-15251 | Muscle is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 19-19 | Occipitofrontalis is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 34-34 | Occipitalis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 44-44 | Frontalis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 54-54 | Orbicularis oculi muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 64-64 | Corrugator supercilii muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 72-72 | Depressor supercilii muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 79-79 | Levator palpebrae superioris muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 90-90 | Muller's muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 101-101 | Superior rectus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 111-111 | Inferior rectus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 121-121 | Medial rectus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 129-129 | Lateral rectus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 139-139 | Superior oblique muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 149-149 | Inferior oblique muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 156-156 | Temporoparietalis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 163-163 | Auricularis anterior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 171-171 | Auricularis superior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 179-179 | Auricularis posterior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 187-187 | Stapedius muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 197-197 | Tensor tympani muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 207-207 | Procerus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 217-217 | Depressor septi nasi muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 225-225 | Levator labii superioris alaeque nasi muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 233-233 | Transverse part compressor naris muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 241-241 | Alar part dilator naris muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 249-249 | Levator angula oris muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 258-258 | Depressor angula oris muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 266-266 | Levator labii superioris muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 275-275 | Depressor labii inferioris muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 285-285 | Mentalis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 293-293 | Buccinator muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 301-301 | Orbicularis oris muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 310-310 | Risorius muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 318-318 | Zygomatic major muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 326-326 | Zygomatic minor muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 334-334 | Masseter muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 345-345 | Temporalis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 356-356 | Pterygoid lateral muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 367-367 | Pterygoid medial muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 375-375 | Hyoglossus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 386-386 | Hyoglossus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 393-393 | Chondroglossus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 400-400 | Styloglossus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 409-409 | Palatoglossus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 417-417 | Superior longitudinal muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 425-425 | Transversus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 433-433 | Inferior longitudinal muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 441-441 | Verticalis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 448-448 | Tensor veli palatini muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 455-455 | Levator veli palatini muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 469-469 | Palatopharyngeus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 479-479 | Palatine uvula muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 486-486 | Stylopharyngeus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 496-496 | Salpingopharyngeus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 503-503 | Pharyngeal inferior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 513-513 | Pharyngeal middle muscle muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 521-521 | Pharyngeal superior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 529-529 | Cricothyroid muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 539-539 | Arytenoid (transverse and oblique) muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 549-549 | Thyroarytenoid muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 556-556 | Posterior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 564-564 | Lateral muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 572-572 | Platysma muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 583-583 | Sternocleidomastoid muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 596-596 | Digastric muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 606-606 | Stylohyoid muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 614-614 | Mylohyoid muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 624-624 | Geniohyoid muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 633-633 | Sternohyoid muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 643-643 | Sternothyroid muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 651-651 | Thyrohyoid muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 661-661 | Omohyoid muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 669-669 | Longus colli muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 679-679 | Longus capitis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 688-688 | Rectus capitis anterior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 694-694 | Rectus capitis lateralis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 702-702 | Scalene muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 712-712 | Scalene anterior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 723-723 | Scalene medius muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 733-733 | Scalene posterior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 741-741 | Levator scapulae muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 756-756 | Obliquus capitis superior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 766-766 | Obliquus capitis inferior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 773-773 | Rectus capitis posterior minor muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 783-783 | Rectus capitis posterior major muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 794-794 | Semispinalis capitis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 803-803 | Longissimus capitis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 814-814 | Splenius capitis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 823-823 | Rectus abdominis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 835-835 | External oblique muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 846-846 | Internal oblique muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 855-855 | Transversus abdominis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 864-864 | Pyramidalis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 874-874 | Quadratus lumborum muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 883-883 | Iliocostalis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 893-893 | IliocostalisMuscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 903-903 | Longissimus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 913-913 | Spinalis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 923-923 | Latissimus dorsi muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 933-933 | Transversospinales muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 941-941 | Semispinalis thoracis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 948-948 | Semispinalis cervicis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 961-961 | Multifidus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 968-968 | Rotatores muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 976-976 | Interspinales muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 985-985 | Intertransversarii muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 992-992 | Splenius cervicis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1001-1001 | Intercostals muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1010-1010 | External intercostals muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1019-1019 | Internal intercostals muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1028-1028 | Innermost intercostals muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1036-1036 | Subcostales muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1043-1043 | Transversus thoracis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1051-1051 | Levatores costarum muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1060-1060 | Serratus posterior inferior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1068-1068 | Serratus posterior superior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1078-1078 | Diaphragm muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1087-1087 | Coccygeus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1096-1096 | Levator ani iliococcygeus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1106-1106 | Levator ani puborectalis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1114-1114 | LevatorAniPuborectalisMuscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1123-1123 | Sphincter ani externus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1131-1131 | Sphincter ani internus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1139-1139 | Superficial transverse perineal muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1148-1148 | Bulbospongiosus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1156-1156 | Ischiocavernosus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1166-1166 | Deep transverse perineal muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1174-1174 | Sphincter urethrae membranaceae muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1184-1184 | Trapezius muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1196-1196 | Rhomboids muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1208-1208 | Rhomboid major muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1218-1218 | Rhomboid minor muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1227-1227 | Pectoralis major muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1237-1237 | Pectoralis minor muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1248-1248 | Subclavius muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1258-1258 | Serratus anterior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10819-10819 | Deltoid muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1280-1280 | Teres major muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1290-1290 | Supraspinatus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1301-1301 | Infraspinatus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1310-1310 | Teres minor muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1319-1319 | Subscapularis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1330-1330 | Coracobrachialis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1340-1340 | Coracobrachialis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1348-1348 | Brachialis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1357-1357 | Triceps brachii muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1369-1369 | Anconeus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1379-1379 | Pronator teres muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1391-1391 | Flexor carpi radialis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1400-1400 | Palmaris longus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1409-1409 | Flexor carpi ulnaris muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1420-1420 | Flexor digitorum superficialis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1429-1429 | Pronator quadratus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1440-1440 | Flexor digitorum profundus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1449-1449 | Flexor pollicis longus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1460-1460 | Extensor digitorum muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1471-1471 | Extensor digiti minimi muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1480-1480 | Extensor carpi ulnaris muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1489-1489 | Brachioradialis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1497-1497 | Extensor carpi radialis longus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1506-1506 | Extensor carpi radialis brevis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1517-1517 | Supinator muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1528-1528 | Extensor indicis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1535-1535 | Abductor pollicis longus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1544-1544 | Extensor pollicis brevis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1553-1553 | Extensor pollicis longus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1562-1562 | Opponens pollicis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1570-1570 | Flexor pollicis brevis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1581-1581 | Abductor pollicis brevis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1590-1590 | Abductor pollicis brevis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1598-1598 | Palmaris brevis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1608-1608 | Abductor digiti minimi muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1618-1618 | Finger flexor digiti minimi brevis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1627-1627 | Opponens digiti minimi muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1637-1637 | Lumbrical muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1647-1647 | Finger dorsal interossei muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1656-1656 | Palmar interossei muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1665-1665 | Iliopsoas muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1676-1676 | Psoas major muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1687-1687 | Psoas minor muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1698-1698 | Iliacus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1709-1709 | Tensor fasciae latae muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10822-10822 | Gluteus maximus is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1730-1730 | Gluteus medius muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1741-1741 | Gluteus minimus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1748-1748 | Lateral rotator group muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1759-1759 | Piriformis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1769-1769 | Obturator externus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1779-1779 | Superior gemellus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1786-1786 | Obturator internus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1793-1793 | Inferior gemellus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1802-1802 | Quadratus femoris muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1809-1809 | Articularis genus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1819-1819 | Sartorius muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1827-1827 | Quadriceps femoris muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1836-1836 | Rectus femoris muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1845-1845 | Vastus lateralis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1854-1854 | Vastus intermedius muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1863-1863 | Vastus medialis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1872-1872 | Biceps femoris muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1883-1883 | Semitendinosus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1894-1894 | Semimembranosus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1905-1905 | Adductor muscles of the &hip is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1916-1916 | Gracilis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1927-1927 | Pectineus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1938-1938 | Adductor brevis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1947-1947 | Adductor longus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1956-1956 | Adductor magnus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1967-1967 | Tibialis anterior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1978-1978 | Extensor hallucis longus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1987-1987 | Extensor digitorum longus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1996-1996 | Fibularis tertius muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2004-2004 | Triceps surae muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2013-2013 | Gastrocnemius muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2024-2024 | Soleus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2035-2035 | Plantaris muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2044-2044 | Popliteus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2052-2052 | Flexor hallucis longus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2063-2063 | Flexor digitorum longus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2072-2072 | Tibialis posterior muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2081-2081 | Fibularis longus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2092-2092 | Fibularis brevis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2101-2101 | Extensor digitorum brevis is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2109-2109 | Extensor hallucis brevis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2117-2117 | Dorsal interossei of foot muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2127-2127 | Abductor hallucis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2137-2137 | Flexor digitorum brevis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2155-2155 | Quadratus plantae muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2162-2162 | Lumbricals muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2172-2172 | Flexor hallucis brevis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2180-2180 | Adductor hallucis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2190-2190 | Flexor digiti minimi brevis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2200-2200 | Plantar interossei muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2209-2209 | Dorsal interossei muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10399-10399 | Voluntary muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10411-10411 | Involuntary muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10765-10765 | Chest muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10772-10772 | Upper back muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10780-10780 | Bicep is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10785-10785 | Tricep is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10790-10790 | Quadriceps is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10798-10798 | Gastrocnemius is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10805-10805 | Tibialis anterior is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10811-10811 | Hamstring muscle is a subclass of muscle |