| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15201-15201 | Osso e' uma sub-classe de Parte do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 18-18 | Osso e' uma sub-classe de Osso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11231-11231 | RibBone e' uma sub-classe de Osso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11470-11470 | Tooth e' uma sub-classe de Osso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11510-11510 | Horn e' uma sub-classe de Osso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11521-11521 | Ivory e' uma sub-classe de Osso |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 52-52 | HeadBone e' uma sub-classe de Osso |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 202-202 | ThroatBone e' uma sub-classe de Osso |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 213-213 | ShoulderGirdleBone e' uma sub-classe de Osso |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 246-246 | ThoraxBone e' uma sub-classe de Osso |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 685-685 | ArmBone e' uma sub-classe de Osso |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1000-1000 | PelvicBone e' uma sub-classe de Osso |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1017-1017 | Sacrum e' uma sub-classe de Osso |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1026-1026 | Coccyx e' uma sub-classe de Osso |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1032-1032 | LegBone e' uma sub-classe de Osso |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1099-1099 | FootBone e' uma sub-classe de Osso |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1283-1283 | Phalanx e' uma sub-classe de Osso |
|
|