No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 95-95 |
EthmoidBone est une sous-classe de CranialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 61-61 |
FrontalBone est une sous-classe de CranialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 65-65 |
LeftParietalBone est une sous-classe de CranialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 85-85 |
OccipitalBone est une sous-classe de CranialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 69-69 |
RightParietalBone est une sous-classe de CranialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 91-91 |
SphenoidBone est une sous-classe de CranialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 73-73 |
TemporalBone est une sous-classe de CranialBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 58-58 |
|