| ClavicleBone | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 218-218 | 子類 ClavicleBone and ShoulderGirdleBone |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 219-219 | 子類 LeftClavicleBone and ClavicleBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 223-223 | 子類 RightClavicleBone and ClavicleBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 227-227 |
|
|
|