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 |