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