| 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 15229-15229 | 肌肉 是 身体部位 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1608-1608 | AbductorDigitiMinimiMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2127-2127 | AbductorHallucisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1581-1581 | AbductorPollicisBrevisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1535-1535 | AbductorPollicisLongusMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1590-1590 | AbductorPollicisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1938-1938 | AdductorBrevisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2180-2180 | AdductorHallucisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1947-1947 | AdductorLongusMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1956-1956 | AdductorMagnusMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1905-1905 | AdductorMusclesOfTheHipMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 241-241 | AlarPartDilatorNarisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1369-1369 | AnconeusMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1809-1809 | ArticularisGenusMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 539-539 | ArytenoidTransverseAndObliqueMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 163-163 | AuricularisAnteriorMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 179-179 | AuricularisPosteriorMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 171-171 | AuricularisSuperiorMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10781-10781 | Bicep 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1340-1340 | BicepsBrachiiMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1872-1872 | BicepsFemorisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1348-1348 | BrachialisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1489-1489 | BrachioradialisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 293-293 | BuccinatorMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1148-1148 | BulbospongiosusMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10799-10799 | CalfMuscle 是 肌肉 的 subclass |
| 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 10661-10661 | antagonistMuscles 的 1 数量 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10662-10662 | antagonistMuscles 的 2 数量 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1921-1921 | ennervates 的 2 数量 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1736-1736 | muscleInsertion 的 1 数量 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1686-1686 | muscleOrigin 的 1 数量 是 肌肉 的 subclass |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10404-10410 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10555-10570 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10533-10548 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15231-15233 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10647-10657 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10607-10617 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11368-11385 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6330-6344 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6307-6318 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15231-15233 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19992-19997 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9449-9455 |
|
|
|