|
|
   OrbitalGroupArtery
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 182-182 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 180-180 | OrbitalGroupArtery est une sous-classe de Artery |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 243-243 | AnteriorEthmoidalArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 248-248 | AnteriorMeningealArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 253-253 | AnteriorNasalArteryBranch est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 275-275 | DorsalNasalArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 291-291 | DorsumOfTheNoseArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 263-263 | InferiorPalpebralArchArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 184-184 | LacrimalArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 190-190 | LateralPalpebralArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 232-232 | MeningealBranchArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 227-227 | PosteriorEthmoidalArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 237-237 | PosteriorNasalArteryBranch est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 202-202 | RecurrentBranchArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 258-258 | SuperiorPalpebralArchArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 208-208 | SupraorbitalArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 221-221 | SupraorbitalDeepBranchArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 215-215 | SupraorbitalSuperficialBranchArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 269-269 | SupratrochlearArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 286-286 | ToRootOfNoseArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 281-281 | TwigToTheUpperPartOfLacrimalSacArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 196-196 | ZygomaticBranchArtery est une sous-classe de OrbitalGroupArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 181-181 |
|
|
|