|
|
   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 humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 436-436 | connectedBodyPartTypes ExternalCarotidArtery, FacialArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 430-430 | connectedBodyPartTypes ExternalCarotidArtery, LingualArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 523-523 | connectedBodyPartTypes ExternalCarotidArtery, MaxillaryArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 506-506 | connectedBodyPartTypes ExternalCarotidArtery, OccipitalArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 513-513 | connectedBodyPartTypes ExternalCarotidArtery, PosteriorAuricularArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 709-709 | connectedBodyPartTypes ExternalCarotidArtery, SuperficialTemporalArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 394-394 | connectedBodyPartTypes ExternalCarotidArtery, SuperiorThyroidArtery and humain |
| 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 est une sous-classe de Artery |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 383-383 | connectedBodyPartTypes LeftCommonCarotidArtery, ExternalCarotidArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 380-380 |
|
|
|
