| No TPTP formula. May not be expressible in strict first order. | arteries.kif 525-525 | ExternalCarotidTerminalFirstPortionArtery e' uma sub-classe de Artery |
| 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 535-535 | AnteriorTympanicArtery 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 547-547 | MiddleMeningealAnteriorAndPosteriorArtery 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 586-586 | IncisorBranchArtery 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 596-596 | LingualBranchArtery 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 607-607 | AccessoryMeningealArtery e' uma sub-classe de ExternalCarotidTerminalFirstPortionArtery |
|
|