No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 477-477 | Left false rib 12 bone is a subclass of floating rib |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 481-481 | Left false rib 12 bone is a subclass of left rib bone |
![]() |