No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 704-704 | Ulna is a subclass of arm bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 710-710 | Left ulna is a subclass of ulna |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 716-716 | Right ulna is a subclass of ulna |
![]() |