| No TPTP formula. May not be expressible in strict first order. | arteries.kif 438-438 | 子類 CervicalArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 442-442 | 子類 AscendingPalatineArtery and CervicalArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 447-447 | 子類 TonsillarBranchArtery and CervicalArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 452-452 | 子類 SubmentalArtery and CervicalArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 457-457 | 子類 SubmentalSuperficialBranchArtery and CervicalArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 462-462 | 子類 SubmentalDeepBranchArtery and CervicalArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 467-467 | 子類 GlandularBranchArtery and CervicalArtery |
|
|