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