| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 57-57 | CranialBone e' uma sub-classe de HeadBone |
| 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 69-69 | RightParietalBone 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 85-85 | OccipitalBone 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 95-95 | EthmoidBone e' uma sub-classe de CranialBone |
|
|