|
|
   SolidWasteDisposal
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1446-1446 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1443-1443 | muscleInsertion FlexorDigitorumProfundusMuscle and DistalPhalanx |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1442-1442 | muscleOrigin FlexorDigitorumProfundusMuscle and Ulna |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1440-1440 | FlexorDigitorumProfundusMuscle 是 肌肉 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1447-1447 | antagonistMuscles ExtensorDigitorumMuscle and FlexorDigitorumProfundusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1445-1445 | ennervates AnteriorInterosseousNerve and FlexorDigitorumProfundusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1444-1444 | suppliesBlood AnteriorInterosseousArtery and FlexorDigitorumProfundusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1441-1441 |
|
|
|