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 475-475 | Inferior labial artery is a subclass of facial artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 482-482 | Superior labial artery is a subclass of facial artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 489-489 | Lateral nasal branch artery is a subclass of facial artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 496-496 | Angular artery terminal branch is a subclass of facial artery |