| InternalCarotidArtery(internal carotid artery)
| | internal_carotid_artery |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 348-348 | connectedBodyPartTypes internal carotid artery, anterior cerebral artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 354-354 | connectedBodyPartTypes internal carotid artery, middle cerebral artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 178-178 | connectedBodyPartTypes internal carotid artery, ophthalmic artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 377-377 | connectedBodyPartTypes internal carotid artery, posterior communicating artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 169-169 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 171-171 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 167-167 | Internal 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 172-172 | connectedBodyPartTypes left common carotid artery, internal carotid artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 168-168 |
|
|
|