|
|
  bioindicatorForHabitat
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2149-2149 | ennervates lateral plantar nerve (S1, S2) and abductor digiti minimi muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2159-2159 | ennervates lateral plantar nerve (S1, S2) and quadratus plantae muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2150-2150 | Lateral plantar nerve (S1, S2) is a subclass of nerve |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2151-2151 |
|
|
|