| CarotidArtery(carotid artery) | | arteria_carotis, carotid_artery, common_carotid, common_carotid_artery |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 140-140 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 138-138 | Carotid artery is a subclass of artery |
| appearance as argument number 2 |
|
|
| 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 |
| 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 139-139 |
|
|
|