No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 159-159 |
InferiorNasalConchaeBone e' uma sub-classe de FacialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 146-146 |
LacrimalBone e' uma sub-classe de FacialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 130-130 |
Mandible e' uma sub-classe de FacialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 112-112 |
MaxillaBone e' uma sub-classe de FacialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 121-121 |
NasalBone e' uma sub-classe de FacialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 137-137 |
PalatineBone e' uma sub-classe de FacialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 155-155 |
VomerBone e' uma sub-classe de FacialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 103-103 |
ZygomaticBone e' uma sub-classe de FacialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 100-100 |
|