| Sacrum(sacrum) | | sacral_vertebra, sacrum |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1019-1019 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1017-1017 | Sacrum is a subclass of bone |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1023-1023 | connectedBodyPartTypes coccyx, sacrum and human |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1024-1024 | connectedBodyPartTypes L5 vertebra bone, sacrum and human |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1021-1021 | connectedBodyPartTypes left ossa coxae, sacrum and human |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1022-1022 | connectedBodyPartTypes right ossa coxae, sacrum and human |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 895-895 | The origin of IliocostalisMuscle is sacrum |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 905-905 | The origin of longissimus muscle is sacrum |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1761-1761 | The origin of piriformis muscle is sacrum |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1018-1018 |
|
|
|