| 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. | Anatomy.kif 271-271 | Rib bone is a subclass of thorax bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 275-275 | Left rib bone is a subclass of rib bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 279-279 | Right rib bone is a subclass of rib bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 283-283 | Costae verae is a subclass of rib bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 287-287 | Floating rib bone is a subclass of rib bone |
|
|