| No TPTP formula. May not be expressible in strict first order. | arteries.kif 639-639 | ExternalCarotidTerminalThirdPortionArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 643-643 | SphenopalatineArteryTerminalBranch 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 648-648 | PosteriorLateralNasalBranchArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 652-652 | PosteriorSeptalBranchArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 656-656 | DescendingPalatineArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 661-661 | GreaterPalatineArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 665-665 | LesserPalatineArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 669-669 | InfraorbitalArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 675-675 | AnteriorSuperiorAlveolarArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 679-679 | PosteriorSuperiorAlveolarArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 684-684 | BranchesToAlveolarCanalsArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 689-689 | BranchesToGingivaArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 694-694 | PharyngealArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 699-699 | ArteryOfPterygoidCanalArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass |
|
|