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 Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 436-436 | connectedBodyPartTypes ExternalCarotidArtery, FacialArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 430-430 | connectedBodyPartTypes ExternalCarotidArtery, LingualArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 523-523 | connectedBodyPartTypes ExternalCarotidArtery, MaxillaryArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 506-506 | connectedBodyPartTypes ExternalCarotidArtery, OccipitalArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 513-513 | connectedBodyPartTypes ExternalCarotidArtery, PosteriorAuricularArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 709-709 | connectedBodyPartTypes ExternalCarotidArtery, SuperficialTemporalArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 394-394 | connectedBodyPartTypes ExternalCarotidArtery, SuperiorThyroidArtery and Humano |
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 e' uma sub-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 Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 380-380 |