|
|
   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 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 436-436 | connectedBodyPartTypes ExternalCarotidArtery, FacialArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 430-430 | connectedBodyPartTypes ExternalCarotidArtery, LingualArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 523-523 | connectedBodyPartTypes ExternalCarotidArtery, MaxillaryArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 506-506 | connectedBodyPartTypes ExternalCarotidArtery, OccipitalArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 513-513 | connectedBodyPartTypes ExternalCarotidArtery, PosteriorAuricularArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 709-709 | connectedBodyPartTypes ExternalCarotidArtery, SuperficialTemporalArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 394-394 | connectedBodyPartTypes ExternalCarotidArtery, SuperiorThyroidArtery and 人类 |
| 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 是 动脉 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 383-383 | connectedBodyPartTypes LeftCommonCarotidArtery, ExternalCarotidArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 380-380 |
|
|
|
