Sternum
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 253-253 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 251-251 | Sternum is a subclass of thorax bone |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 268-268 | connectedBodyPartTypes sternum, sternum and human |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 252-252 |
consequent |