|
|
   ThoracicAorta
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1241-1241 | connectedBodyPartTypes ThoracicAorta, AorticArch 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 | 每個 ThoracicAorta 是 Aorta 的 part |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1226-1226 | 子類 ThoracicAorta and 動脈 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1280-1280 | connectedBodyPartTypes AbdominalAorta, ThoracicAorta and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1247-1247 | connectedBodyPartTypes BronchialArtery, ThoracicAorta and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1252-1252 | connectedBodyPartTypes EsophagealArtery, ThoracicAorta and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1259-1259 | connectedBodyPartTypes Lower3rdTo11thPosteriorIntercostalArtery, ThoracicAorta and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1254-1254 | connectedBodyPartTypes MediastinalBranchArtery, ThoracicAorta and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1264-1264 | connectedBodyPartTypes SubcostalArtery, ThoracicAorta and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1269-1269 | connectedBodyPartTypes SuperiorPhrenicArtery, ThoracicAorta and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1228-1228 |
|
|
|
