|
|
   LacrimalBone
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 146-146 | 子類 LacrimalBone and FacialBone |
| appearance as argument number 2 |
|
|
| 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 |
|
|
|