| Muscle
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3528-3529 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 135-135 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15275-15275 | 子類 Muscle and BodyPart |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1608-1608 | 子類 AbductorDigitiMinimiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2127-2127 | 子類 AbductorHallucisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1581-1581 | 子類 AbductorPollicisBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1535-1535 | 子類 AbductorPollicisLongusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1590-1590 | 子類 AbductorPollicisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1938-1938 | 子類 AdductorBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2180-2180 | 子類 AdductorHallucisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1947-1947 | 子類 AdductorLongusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1956-1956 | 子類 AdductorMagnusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1905-1905 | 子類 AdductorMusclesOfTheHipMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 241-241 | 子類 AlarPartDilatorNarisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1369-1369 | 子類 AnconeusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1809-1809 | 子類 ArticularisGenusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 539-539 | 子類 ArytenoidTransverseAndObliqueMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 163-163 | 子類 AuricularisAnteriorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 179-179 | 子類 AuricularisPosteriorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 171-171 | 子類 AuricularisSuperiorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10808-10808 | 子類 Bicep and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1340-1340 | 子類 BicepsBrachiiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1872-1872 | 子類 BicepsFemorisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1348-1348 | 子類 BrachialisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1489-1489 | 子類 BrachioradialisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 293-293 | 子類 BuccinatorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1148-1148 | 子類 BulbospongiosusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10826-10826 | 子類 CalfMuscle and Muscle |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10688-10688 | 域子類 antagonistMuscles, 1 and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10689-10689 | 域子類 antagonistMuscles, 2 and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1921-1921 | 域子類 ennervates, 2 and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1736-1736 | 域子類 muscleInsertion, 1 and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1686-1686 | 域子類 muscleOrigin, 1 and Muscle |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10431-10437 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10582-10597 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10560-10575 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15277-15279 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10674-10684 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10634-10644 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11395-11412 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6324-6338 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6301-6312 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15277-15279 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20019-20024 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9476-9482 |
|
|
|