| ThyrocervicalTrunkArtery(thyrocervical trunk artery)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 914-914 | connectedBodyPartTypes thyrocervical trunk artery, left subclavian artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 912-912 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 915-915 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 910-910 | Thyrocervical trunk artery is a subclass of artery |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 921-921 | connectedBodyPartTypes inferior thyroid artery, thyrocervical trunk artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 911-911 |
|
|
|