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