No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 146-146 | 子類 LacrimalBone and FacialBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 147-147 | 子類 LeftLacrimalBone and LacrimalBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 151-151 | 子類 RightLacrimalBone and LacrimalBone |
![]() |