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 |