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