|
|
   ExternalCarotidArtery
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 424-424 | connectedBodyPartTypes ExternalCarotidArtery, AscendingPharyngealArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 436-436 | connectedBodyPartTypes ExternalCarotidArtery, FacialArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 430-430 | connectedBodyPartTypes ExternalCarotidArtery, LingualArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 523-523 | connectedBodyPartTypes ExternalCarotidArtery, MaxillaryArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 506-506 | connectedBodyPartTypes ExternalCarotidArtery, OccipitalArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 513-513 | connectedBodyPartTypes ExternalCarotidArtery, PosteriorAuricularArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 709-709 | connectedBodyPartTypes ExternalCarotidArtery, SuperficialTemporalArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 394-394 | connectedBodyPartTypes ExternalCarotidArtery, SuperiorThyroidArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 381-381 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 384-384 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 379-379 | 子類 ExternalCarotidArtery and 動脈 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 383-383 | connectedBodyPartTypes LeftCommonCarotidArtery, ExternalCarotidArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 380-380 |
|
|
|
