|
|
   TemporoparietalisMuscle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 161-161 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 159-159 | muscleInsertion TemporoparietalisMuscle and EpicranialAponeurosis |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 158-158 | muscleOrigin TemporoparietalisMuscle and AuricularesMuscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 156-156 | TemporoparietalisMuscle 是 肌肉 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 160-160 | ennervates FacialNerveCNVII and TemporoparietalisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 157-157 |
|
|
|
