|
|
   ThoracoacromialArtery
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 981-981 | connectedBodyPartTypes ThoracoacromialArtery, AxillaryArtery 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 | 子類 ThoracoacromialArtery and 動脈 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 986-986 | connectedBodyPartTypes AcromialArtery, ThoracoacromialArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 996-996 | connectedBodyPartTypes ClavicularArtery, ThoracoacromialArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1001-1001 | connectedBodyPartTypes DeltoidArtery, ThoracoacromialArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 991-991 | connectedBodyPartTypes PectoralArtery, ThoracoacromialArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 978-978 |
|
|
|