|
|
  AnnulusOfZinnAtOrbitalApex
|
|
|
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 113-113 | The origin of inferior rectus muscle is AnnulusOfZinnAtOrbitalApex |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 131-131 | The origin of lateral rectus muscle is AnnulusOfZinnAtOrbitalApex |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 123-123 | The origin of medial rectus muscle is AnnulusOfZinnAtOrbitalApex |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 103-103 | The origin of superior rectus muscle is AnnulusOfZinnAtOrbitalApex |
|
|
|