| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15201-15201 | Bone is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 18-18 | Bone is a subclass of bone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11231-11231 | Rib bone is a subclass of bone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11470-11470 | Tooth is a subclass of bone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11510-11510 | Horn is a subclass of bone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11521-11521 | Ivory is a subclass of bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 52-52 | Head bone is a subclass of bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 202-202 | Throat bone is a subclass of bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 213-213 | Shoulder girdle bone is a subclass of bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 246-246 | Thorax bone is a subclass of bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 685-685 | Arm bone is a subclass of bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1000-1000 | Pelvis is a subclass of bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1017-1017 | Sacrum is a subclass of bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1026-1026 | Coccyx is a subclass of bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1032-1032 | Leg bone is a subclass of bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1099-1099 | Foot bone is a subclass of bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1283-1283 | Phalanx is a subclass of bone |
|
|