No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 159-159 |
子類 InferiorNasalConchaeBone and FacialBone |
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 130-130 |
子類 Mandible and FacialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 112-112 |
子類 MaxillaBone and FacialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 121-121 |
子類 NasalBone and FacialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 137-137 |
子類 PalatineBone and FacialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 155-155 |
子類 VomerBone and FacialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 103-103 |
子類 ZygomaticBone and FacialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 100-100 |
|