|
|
   NetworkAdapter
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2090-2090 | antagonistMuscles TibialisAnteriorMuscle and FibularisLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2022-2022 | antagonistMuscles TibialisAnteriorMuscle and GastrocnemiusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2042-2042 | antagonistMuscles TibialisAnteriorMuscle and PlantarisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2033-2033 | antagonistMuscles TibialisAnteriorMuscle and SoleusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2079-2079 | antagonistMuscles TibialisAnteriorMuscle and TibialisPosteriorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1975-1975 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1970-1970 | muscleInsertion TibialisAnteriorMuscle and MedialCuneiformAndFirstMetatarsalBonesOfFoot |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1969-1969 | muscleOrigin TibialisAnteriorMuscle and BodyOfTibia |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1967-1967 | TibialisAnteriorMuscle 是 肌肉 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1976-1976 | antagonistMuscles FibularisLongusGastrocnemiusSoleusPlantarisTibialisPosteriorMuscle and TibialisAnteriorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1972-1972 | ennervates DeepFibularNerve and TibialisAnteriorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1971-1971 | suppliesBlood AnteriorTibialArtery and TibialisAnteriorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1968-1968 |
|
|
|