|
|
   ThoracoacromialArtery
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 981-981 | connectedBodyPartTypes thoracoacromial artery, axillary artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 979-979 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 977-977 | Thoracoacromial artery is a subclass of artery |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 986-986 | connectedBodyPartTypes acromial artery, thoracoacromial artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 996-996 | connectedBodyPartTypes clavicular artery, thoracoacromial artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1001-1001 | connectedBodyPartTypes deltoid artery, thoracoacromial artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 991-991 | connectedBodyPartTypes pectoral artery, thoracoacromial artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 978-978 |
|
|
|