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 Humano |
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 | partTypes ThoracicAorta and Aorta |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1226-1226 | ThoracicAorta e' uma sub-classe de Artery |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1280-1280 | connectedBodyPartTypes AbdominalAorta, ThoracicAorta and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1247-1247 | connectedBodyPartTypes BronchialArtery, ThoracicAorta and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1252-1252 | connectedBodyPartTypes EsophagealArtery, ThoracicAorta and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1259-1259 | connectedBodyPartTypes Lower3rdTo11thPosteriorIntercostalArtery, ThoracicAorta and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1254-1254 | connectedBodyPartTypes MediastinalBranchArtery, ThoracicAorta and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1264-1264 | connectedBodyPartTypes SubcostalArtery, ThoracicAorta and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1269-1269 | connectedBodyPartTypes SuperiorPhrenicArtery, ThoracicAorta and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1228-1228 |