No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11258-11258 | 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 |