|
|
   AorticArch
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 164-164 | connectedBodyPartTypes AorticArch, LeftCommonCarotidArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 116-119 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 121-121 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 114-114 | 子類 AorticArch and 動脈 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 135-135 | connectedBodyPartTypes BrachiocephalicArtery, AorticArch and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 61-61 | connectedBodyPartTypes LeftCoronaryArtery, AorticArch and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 759-759 | connectedBodyPartTypes LeftSubclavianArtery, AorticArch and Human |
| 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 115-115 |
|
|
|
