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 142-142 | Right common carotid artery is a subclass of carotid artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 156-156 | Left common carotid artery is a subclass of carotid artery |