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