| 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 184-184 | Lacrimal artery is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 190-190 | Lateral palpebral artery is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 196-196 | Zygomatic branch artery is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 202-202 | Recurrent branch artery is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 208-208 | Supraorbital artery is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 215-215 | Supraorbital superficial branch artery is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 221-221 | Supraorbital deep branch artery is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 227-227 | Posterior ethmoidal artery is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 232-232 | Meningeal branch artery is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 237-237 | Posterior nasal artery branch is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 243-243 | Anterior ethmoidal artery is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 248-248 | Anterior meningeal artery is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 253-253 | Anterior nasal artery branch is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 258-258 | Superior palpebral arch artery is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 263-263 | Inferior palpebral arch artery is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 269-269 | Supratrochlear artery is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 275-275 | Dorsal nasal artery is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 281-281 | Twig to the upper part of lacrimal sac artery is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 286-286 | To root of nose artery is a subclass of orbital group artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 291-291 | Dorsum of the nose artery is a subclass of orbital group artery |
|
|