|
|
   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 e' uma sub-classe de Artery |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 607-607 | AccessoryMeningealArtery e' uma sub-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 535-535 | AnteriorTympanicArtery e' uma sub-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 529-529 | DeepAuricularArtery e' uma sub-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 586-586 | IncisorBranchArtery e' uma sub-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 580-580 | InferiorAlveolarArtery e' uma sub-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 596-596 | LingualBranchArtery e' uma sub-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 591-591 | MentalBranchArtery e' uma sub-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 547-547 | MiddleMeningealAnteriorAndPosteriorArtery e' uma sub-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 541-541 | MiddleMeningealArtery e' uma sub-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 601-601 | MylohyoidBranchArtery e' uma sub-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 526-526 |
|
|
|