|
|
   OccipitofrontalisMuscle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 24-29 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 30-30 | externalImpage OccipitofrontalisMuscle and "https://upload.wikimedia.org/wikipedia/commons/f/fa/ Gray378.png" |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 21-21 | muscleInsertion OccipitofrontalisMuscle and EpicranialAponeurosis |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 20-20 | muscleOrigin OccipitofrontalisMuscle and TwoOccipitalBelliesAnd2FrontalBellies |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 19-19 | OccipitofrontalisMuscle 是 肌肉 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 22-22 | ennervates FacialNerveCNVII and OccipitofrontalisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 31-31 |
|
|
|