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 e' uma sub-classe de Osso |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1023-1023 | connectedBodyPartTypes Coccyx, Sacrum and Humano |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1024-1024 | connectedBodyPartTypes L5VertebraBone, Sacrum and Humano |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1021-1021 | connectedBodyPartTypes LeftOssaCoxae, Sacrum and Humano |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1022-1022 | connectedBodyPartTypes RightOssaCoxae, Sacrum and Humano |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 895-895 | muscleOrigin IliocostalisMuscle and Sacrum |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 905-905 | muscleOrigin LongissimusMuscle and Sacrum |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1761-1761 | muscleOrigin PiriformisMuscle and Sacrum |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1018-1018 |