(subclass CarotidArtery Artery) | arteries.kif 138-138 | Carotid artery is a subclass of artery |
(subclass RightCommonCarotidArtery CarotidArtery) | arteries.kif 142-142 | Right common carotid artery is a subclass of carotid artery |
(subclass LeftCommonCarotidArtery CarotidArtery) | arteries.kif 156-156 | Left common carotid artery is a subclass of carotid artery |