|
|
   ExternalCarotidTerminalFirstPortionArtery
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 527-527 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 525-525 | 子類 ExternalCarotidTerminalFirstPortionArtery and 動脈 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 607-607 | 子類 AccessoryMeningealArtery and ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 535-535 | 子類 AnteriorTympanicArtery and ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 529-529 | 子類 DeepAuricularArtery and ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 586-586 | 子類 IncisorBranchArtery and ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 580-580 | 子類 InferiorAlveolarArtery and ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 596-596 | 子類 LingualBranchArtery and ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 591-591 | 子類 MentalBranchArtery and ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 547-547 | 子類 MiddleMeningealAnteriorAndPosteriorArtery and ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 541-541 | 子類 MiddleMeningealArtery and ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 601-601 | 子類 MylohyoidBranchArtery and ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 526-526 |
|
|
|