No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 99-99 | FacialBone est une sous-classe de HeadBone |
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 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 130-130 | Mandible 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 146-146 | LacrimalBone 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 159-159 | InferiorNasalConchaeBone est une sous-classe de FacialBone |