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 15251-15251 | Musculo e' uma sub-classe de Parte do Corpo |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1608-1608 | AbductorDigitiMinimiMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2127-2127 | AbductorHallucisMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1581-1581 | AbductorPollicisBrevisMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1535-1535 | AbductorPollicisLongusMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1590-1590 | AbductorPollicisMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1938-1938 | AdductorBrevisMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2180-2180 | AdductorHallucisMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1947-1947 | AdductorLongusMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1956-1956 | AdductorMagnusMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1905-1905 | AdductorMusclesOfTheHipMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 241-241 | AlarPartDilatorNarisMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1369-1369 | AnconeusMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1809-1809 | ArticularisGenusMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 539-539 | ArytenoidTransverseAndObliqueMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 163-163 | AuricularisAnteriorMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 179-179 | AuricularisPosteriorMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 171-171 | AuricularisSuperiorMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10780-10780 | Bicep e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1340-1340 | BicepsBrachiiMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1872-1872 | BicepsFemorisMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1348-1348 | BrachialisMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1489-1489 | BrachioradialisMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 293-293 | BuccinatorMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1148-1148 | BulbospongiosusMuscle e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10798-10798 | CalfMuscle e' uma sub-classe de Musculo |
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 10660-10660 | O argumento numero 1 de antagonistMuscles e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10661-10661 | O argumento numero 2 de antagonistMuscles e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1921-1921 | O argumento numero 2 de ennervates e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1736-1736 | O argumento numero 1 de muscleInsertion e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1686-1686 | O argumento numero 1 de muscleOrigin e' uma sub-classe de Musculo |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10403-10409 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10554-10569 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10532-10547 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15253-15255 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10646-10656 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10606-10616 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11367-11384 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6329-6343 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6306-6317 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15253-15255 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19991-19996 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9448-9454 |