| No TPTP formula. May not be expressible in strict first order. | arteries.kif 180-180 | OrbitalGroupArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 184-184 | LacrimalArtery 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 190-190 | LateralPalpebralArtery 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 196-196 | ZygomaticBranchArtery 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 202-202 | RecurrentBranchArtery 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 208-208 | SupraorbitalArtery 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 215-215 | SupraorbitalSuperficialBranchArtery 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 221-221 | SupraorbitalDeepBranchArtery 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 227-227 | PosteriorEthmoidalArtery 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 232-232 | MeningealBranchArtery 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 237-237 | PosteriorNasalArteryBranch 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 243-243 | AnteriorEthmoidalArtery 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 248-248 | AnteriorMeningealArtery 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 253-253 | AnteriorNasalArteryBranch 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 258-258 | SuperiorPalpebralArchArtery 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 263-263 | InferiorPalpebralArchArtery 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 269-269 | SupratrochlearArtery 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 275-275 | DorsalNasalArtery 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 281-281 | TwigToTheUpperPartOfLacrimalSacArtery 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 286-286 | ToRootOfNoseArtery 是 OrbitalGroupArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 291-291 | DorsumOfTheNoseArtery 是 OrbitalGroupArtery 的 subclass |
|
|