|
|
   OrbicularisOculiMuscle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 88-88 | antagonistMuscles OrbicularisOculiMuscle and LevatorPalpebraeSuperiorisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 62-62 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 57-57 | muscleInsertion OrbicularisOculiMuscle and EpicranialAponeurosis |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 56-56 | muscleOrigin OrbicularisOculiMuscle and SkinOfEyebrowAndGlabella |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 54-54 | OrbicularisOculiMuscle 是 肌肉 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 59-59 | ennervates ZygomaticBranchOfFacialNerveCNVII and OrbicularisOculiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 58-58 | suppliesBlood OphthalmicArtery and OrbicularisOculiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 55-55 |
|
|
|