|
|
   InferiorRectusMuscle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 119-119 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 114-114 | muscleInsertion InferiorRectusMuscle and SixtyFiveMmInferiorToCornealLimbus |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 113-113 | muscleOrigin InferiorRectusMuscle and AnnulusOfZinnAtOrbitalApex |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 111-111 | InferiorRectusMuscle 是 肌肉 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 116-116 | ennervates InferiorBranchOfOculomotorNerveCNIII and InferiorRectusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 115-115 | suppliesBlood OphthalmicArtery and InferiorRectusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 112-112 |
|
|
|