|
|
   LeftSubclavianArtery
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 759-759 | connectedBodyPartTypes left subclavian artery, aortic arch and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 767-767 | connectedBodyPartTypes left subclavian artery, vertebral artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 745-756 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 760-760 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 743-743 | Left subclavian artery is a subclass of artery |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 969-969 | connectedBodyPartTypes axillary artery, left subclavian artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1028-1028 | connectedBodyPartTypes brachial artery, left subclavian artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 948-948 | connectedBodyPartTypes costocervical trunk artery, left subclavian artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 837-837 | connectedBodyPartTypes internal thoracic artery, left subclavian artery and human |
| 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 744-744 |
|
|
|
