|
|
   InternalThoracicArtery
|
|
|
| appearance as argument number 1 |
|
|
| 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 834-834 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 836-836 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 832-832 | Internal thoracic artery is a subclass of artery |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 843-843 | connectedBodyPartTypes mediastinal branch artery, internal thoracic artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 883-883 | connectedBodyPartTypes musculophrenic artery, internal thoracic artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 863-863 | connectedBodyPartTypes perforating branch artery, internal thoracic artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 853-853 | connectedBodyPartTypes pericardiophrenic artery, internal thoracic artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 868-868 | connectedBodyPartTypes six anterior intercostal branch artery, internal thoracic artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 858-858 | connectedBodyPartTypes sternal branch artery, internal thoracic artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 908-908 | connectedBodyPartTypes superior epigastric artery, internal thoracic artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 848-848 | connectedBodyPartTypes thymic branches artery, internal thoracic artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 833-833 |
|
|
|
