|
|
   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 humain |
| 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 est une sous-classe de Artery |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 921-921 | connectedBodyPartTypes InferiorThyroidArtery, ThyrocervicalTrunkArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 911-911 |
|
|
|
