Artery(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 950-950 | Deep cervical 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 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 1133-1133 | Deep palmar 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 997-997 | Deltoid 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 1471-1471 | Descending vasa recta 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 1200-1200 | Dorsal carpal 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 1370-1370 | Dorsal pancreatic 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 1466-1466 | Efferent arteriole 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 379-379 | External carotid 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 1728-1728 | External iliac 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 432-432 | Facial 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 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |