| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11230-11230 | RibBone e' uma sub-classe de Osso |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 271-271 | RibBone e' uma sub-classe de ThoraxBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 275-275 | LeftRibBone e' uma sub-classe de RibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 279-279 | RightRibBone e' uma sub-classe de RibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 283-283 | TrueRibBone e' uma sub-classe de RibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 287-287 | FloatingRibBone e' uma sub-classe de RibBone |
|
|