| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11103-11103 | Artery is a subclass of blood vessel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11137-11137 | Pulmonary artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 5-5 | Ascending aorta is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 16-16 | Right coronary artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 28-28 | Posterior interventricular artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 34-34 | S a nodal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 40-40 | Right marginal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 48-48 | Left coronary artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 63-63 | Anterior interventricular artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 69-69 | Anterior interventricular septal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 75-75 | Anterior interventricular diagonal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 81-81 | Circumflex artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 93-93 | Left marginal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 101-101 | Posterolateral artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 107-107 | Ramus intermedius is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 114-114 | Aortic arch is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 124-124 | Brachiocephalic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 138-138 | Carotid artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 149-149 | Right subclavian artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 167-167 | Internal carotid artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 174-174 | Ophthalmic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 180-180 | Orbital group artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 297-297 | Ocular group artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 339-339 | Cerebral artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 357-357 | Anterolateral central artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 362-362 | Internal striate artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 367-367 | External striate artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 373-373 | Posterior communicating artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 379-379 | External carotid artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 390-390 | Superior thyroid artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 396-396 | Hyoid artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 402-402 | Sternocleidomastoid artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 408-408 | Superior laryngeal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 414-414 | Cricothyroid artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 420-420 | Ascending pharyngeal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 426-426 | Lingual artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 432-432 | Facial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 438-438 | Cervical artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 502-502 | Occipital artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 509-509 | Posterior auricular artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 518-518 | Maxillary artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 525-525 | External carotid terminal first portion artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 613-613 | External carotid terminal second portion artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 639-639 | External carotid terminal third portion artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 705-705 | Superficial temporal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 713-713 | Transverse facial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 718-718 | Middle temporal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 723-723 | Anterior auricular branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 728-728 | Superficial temporal frontal branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 735-735 | Superficial temporal parietal branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 743-743 | Left subclavian artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 762-762 | Vertebral artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 768-768 | Meningeal branch of vertebral artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 773-773 | Posterior spinal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 778-778 | Posterior spinal ascending branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 783-783 | Posterior spinal descending branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 787-787 | Anterior spinal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 791-791 | Cerebellar artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 811-811 | Basilar artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 821-821 | Labyrinthine artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 826-826 | Pontine branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 832-832 | Internal thoracic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 839-839 | Mediastinal branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 844-844 | Thymic branches artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 849-849 | Pericardiophrenic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 854-854 | Sternal branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 859-859 | Perforating branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 864-864 | Six anterior intercostal branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 869-869 | Upper branch intercostal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 874-874 | Lower branches of the space anastomoses artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 879-879 | Musculophrenic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 884-884 | Intercostal branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 889-889 | Branch to lower part of the pericardium artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 894-894 | Branch to diaphragm artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 899-899 | Branch to abdominal muscles artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 904-904 | Superior epigastric artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 910-910 | Thyrocervical trunk artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 917-917 | Inferior thyroid artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 922-922 | Suprascapular artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 927-927 | Transverse cervical artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 932-932 | Transverse cervical superficial branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 937-937 | Transverse cervical deep branch dorsal scapular artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 943-943 | Costocervical trunk artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 950-950 | Deep cervical artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 955-955 | Supreme intercostal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 960-960 | First and second posterior intercostal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 965-965 | Axillary artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 972-972 | Superior thoracic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 977-977 | Thoracoacromial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 982-982 | Acromial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 987-987 | Pectoral artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 992-992 | Clavicular artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 997-997 | Deltoid artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1002-1002 | Lateral thoracic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1007-1007 | Subscapular artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1012-1012 | Anterior humeral circumflex artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1017-1017 | Posterior humeral circumflex artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1024-1024 | Brachial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1031-1031 | Profunda brachii artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1036-1036 | Radial collateral artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1041-1041 | Medial collateral artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1046-1046 | Branches to the deltoid muscle artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1052-1052 | Superior ulnar collateral artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1057-1057 | Posterior ulnar recurrent artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1063-1063 | Inferior ulnar collateral artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1068-1068 | Inferior ulnar collateral ascending branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1073-1073 | Inferior ulnar collateral descending branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1078-1078 | Radial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1083-1083 | Radial branches in the forearm is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1088-1088 | Radial recurrent artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1093-1093 | Palmar carpal branch of radial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1098-1098 | Superficial palmar branch of the radial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1103-1103 | Radial branch at the wrist artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1108-1108 | Dorsal carpal branch of radial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1113-1113 | First dorsal metacarpal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1118-1118 | Radial branch artery in the hand is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1123-1123 | Princeps pollicis artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1128-1128 | Radialis indicis artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1133-1133 | Deep palmar arch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1139-1139 | Ulnar artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1144-1144 | Anterior ulnar recurrent artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1151-1151 | Common interosseous artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1156-1156 | Posterior interosseous artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1161-1161 | Interosseous recurrent artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1165-1165 | Anterior interosseous artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1170-1170 | Muscular branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1175-1175 | Nutrient arteries of radius and ulna is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1180-1180 | Branch to volar carpal network artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1185-1185 | Muscular ulnar artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1190-1190 | Volar carpal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1195-1195 | Palmar carpal arch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1200-1200 | Dorsal carpal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1205-1205 | Dorsal carpal arch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1210-1210 | Deep volar artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1215-1215 | Superficial volar arch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1221-1221 | Aorta is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1226-1226 | Thoracic aorta is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1243-1243 | Bronchial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1248-1248 | Esophageal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1255-1255 | Lower3rd to11th posterior intercostal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1260-1260 | Subcostal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1265-1265 | Superior phrenic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1272-1272 | Abdominal aorta is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1285-1285 | Inferior phrenic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1291-1291 | Celiac artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1295-1295 | Gastric artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1306-1306 | Hepatic branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1311-1311 | Oesophageal branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1316-1316 | Common hepatic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1321-1321 | Proper hepatic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1330-1330 | Right hepatic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1335-1335 | Cystic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1340-1340 | Left hepatic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1350-1350 | Gastroduodenal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1355-1355 | Right gastro omental artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1360-1360 | Superior pancreaticoduodenal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1365-1365 | Splenic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1370-1370 | Dorsal pancreatic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1375-1375 | Short gastric artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1380-1380 | Left gastro omental artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1385-1385 | Buhlers anastomotic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1392-1392 | Superior mesenteric artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1399-1399 | Inferior pancreaticoduodenal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1404-1404 | Middle colic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1409-1409 | Right colic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1414-1414 | Intestinal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1419-1419 | Ileocolic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1426-1426 | Middle suprarenal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1434-1434 | Renal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1445-1445 | Interlobar artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1450-1450 | Arcuate artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1455-1455 | Interlobular artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1460-1460 | Afferent arteriole is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1466-1466 | Efferent arteriole is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1471-1471 | Descending vasa recta artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1476-1476 | Peritubular capillary is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1483-1483 | Gonadal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1501-1501 | Lumbar artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1508-1508 | Inferior mesenteric artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1512-1512 | Left colic artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1517-1517 | Left colic ascending artery branch is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1522-1522 | Left colic descending artery branch is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1527-1527 | Sigmoid artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1531-1531 | Superior rectal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1537-1537 | Median sacral artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1544-1544 | Common iliac artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1552-1552 | Internal iliac artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1558-1558 | Anterior iliac artery division is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1677-1677 | Posterior division iliac artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1728-1728 | External iliac artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1734-1734 | Inferior epigastric artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1739-1739 | Deep circumflex iliac artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1744-1744 | Femoral artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1749-1749 | Superficial epigastric artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1754-1754 | Superficial circumflex iliac artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1759-1759 | Superficial external pudendal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1764-1764 | Deep external pudendal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1769-1769 | Deep femoral artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1774-1774 | Lateral femoral circumflex artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1779-1779 | Lateral femoral circumflex ascending branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1784-1784 | Lateral femoral circumflex descending branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1789-1789 | Lateral femoral circumflex transverse branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1794-1794 | Medial femoral circumflex artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1799-1799 | Medial femoral circumflex ascending branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1803-1803 | Medial femoral circumflex descending branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1807-1807 | Medial femoral circumflex descending superficial branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1811-1811 | Medial femoral circumflex descending deep branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1815-1815 | Medial femoral circumflex descending acetabular branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1819-1819 | Perforating artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1824-1824 | First perforating artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1828-1828 | Second perforating artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1832-1832 | Third or fourth perforating artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1836-1836 | Descending genicular artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1841-1841 | Saphenous branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1846-1846 | Musculo articular branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1852-1852 | Popliteal artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1859-1859 | Anterior tibial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1864-1864 | Post tibial recurrent artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1869-1869 | Anterior tibial recurrent artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1876-1876 | Anterior medial malleolar artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1881-1881 | Anterior lateral malleolar artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1886-1886 | Dorsalis pedis artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1891-1891 | Posterior tibial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1896-1896 | Fibular artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1901-1901 | Communicating branch to the anterior tibial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1906-1906 | Perforating branch to the posterior tibial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1911-1911 | Medial plantar artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1916-1916 | Lateral plantar artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1921-1921 | Sural artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1926-1926 | Medial superior genicular artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1931-1931 | Branch to vastus medialis artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1936-1936 | Branch artery to surface of the femur and the knee joint is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1941-1941 | Lateral superior genicular artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1946-1946 | Lateral superior genicular superficial branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1951-1951 | Lateral superior genicular deep branch artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1956-1956 | Middle genicular artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1961-1961 | Medial inferior genicular artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1966-1966 | Branch to popliteus artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1971-1971 | Lateral inferior genicular artery is a subclass of artery |
|
|