|
|
   ThoracicAorta
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1241-1241 | connectedBodyPartTypes thoracic aorta, aortic arch and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1229-1238 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1240-1240 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1227-1227 | Every thoracic aorta is a part of a aorta |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1226-1226 | Thoracic aorta is a subclass of artery |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1280-1280 | connectedBodyPartTypes abdominal aorta, thoracic aorta and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1247-1247 | connectedBodyPartTypes bronchial artery, thoracic aorta and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1252-1252 | connectedBodyPartTypes esophageal artery, thoracic aorta and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1259-1259 | connectedBodyPartTypes lower3rd to11th posterior intercostal artery, thoracic aorta and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1254-1254 | connectedBodyPartTypes mediastinal branch artery, thoracic aorta and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1264-1264 | connectedBodyPartTypes subcostal artery, thoracic aorta and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1269-1269 | connectedBodyPartTypes superior phrenic artery, thoracic aorta and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1228-1228 |
|
|
|
