| CarotidArtery | |
| appearance as argument number 1 |
|
|
| (documentation CarotidArtery EnglishLanguage "carotid artery") | arteries.kif 140-140 | |
| (subclass CarotidArtery Artery) | arteries.kif 138-138 | CarotidArtery は Artery の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass LeftCommonCarotidArtery CarotidArtery) | arteries.kif 156-156 | LeftCommonCarotidArtery は CarotidArtery の subclass では %n |
| (subclass RightCommonCarotidArtery CarotidArtery) | arteries.kif 142-142 | RightCommonCarotidArtery は CarotidArtery の subclass では %n |
| (termFormat EnglishLanguage CarotidArtery "carotid artery") | arteries.kif 139-139 |
|
|
|