|
|
   ThyrocervicalTrunkArtery
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 914-914 | connectedBodyPartTypes ThyrocervicalTrunkArtery, LeftSubclavianArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 912-912 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 915-915 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 910-910 | ThyrocervicalTrunkArtery 是 动脉 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 921-921 | connectedBodyPartTypes InferiorThyroidArtery, ThyrocervicalTrunkArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 911-911 |
|
|
|
