| No TPTP formula. May not be expressible in strict first order. | arteries.kif 525-525 | ExternalCarotidTerminalFirstPortionArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 529-529 | DeepAuricularArtery est une sous-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 535-535 | AnteriorTympanicArtery est une sous-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 541-541 | MiddleMeningealArtery est une sous-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 547-547 | MiddleMeningealAnteriorAndPosteriorArtery est une sous-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 580-580 | InferiorAlveolarArtery est une sous-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 586-586 | IncisorBranchArtery est une sous-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 591-591 | MentalBranchArtery est une sous-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 596-596 | LingualBranchArtery est une sous-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 601-601 | MylohyoidBranchArtery est une sous-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 607-607 | AccessoryMeningealArtery est une sous-classe de ExternalCarotidTerminalFirstPortionArtery |
|
|