| No TPTP formula. May not be expressible in strict first order. | arteries.kif 525-525 | ExternalCarotidTerminalFirstPortionArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 529-529 | DeepAuricularArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 535-535 | AnteriorTympanicArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 541-541 | MiddleMeningealArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 547-547 | MiddleMeningealAnteriorAndPosteriorArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 580-580 | InferiorAlveolarArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 586-586 | IncisorBranchArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 591-591 | MentalBranchArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 596-596 | LingualBranchArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 601-601 | MylohyoidBranchArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 607-607 | AccessoryMeningealArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass |
|
|