antagonistMuscles |
appearance as argument number 1 |
![]() |
(documentation antagonistMuscles EnglishLanguage "A relation between two Muscles that put opposing forces on a part of the body.") | Mid-level-ontology.kif 10662-10663 | |
(domainSubclass antagonistMuscles 1 Muscle) | Mid-level-ontology.kif 10660-10660 | Die Zahl 1 Argument von antagonistMuscles ist eine teilkategorie von Muscle %n{nicht} |
(domainSubclass antagonistMuscles 2 Muscle) | Mid-level-ontology.kif 10661-10661 | Die Zahl 2 Argument von antagonistMuscles ist eine teilkategorie von Muscle %n{nicht} |
(instance antagonistMuscles BinaryPredicate) | Mid-level-ontology.kif 10658-10658 | antagonistMuscles ist ein fall von BinaryPredicate %n{nicht} |
(instance antagonistMuscles IrreflexiveRelation) | Mid-level-ontology.kif 10659-10659 | antagonistMuscles ist ein fall von IrreflexiveRelation %n{nicht} |
appearance as argument number 2 |
![]() |
(format EnglishLanguage antagonistMuscles "%1 and %2 are antagonist muscles") | Mid-level-ontology.kif 10665-10665 | |
(termFormat EnglishLanguage antagonistMuscles "antagonist muscles") | Mid-level-ontology.kif 10664-10664 |
antecedent |
![]() |
(=> (and (antagonistMuscles ?A ?B) (instance ?E Extension) (instrument ?E ?AC) (moves ?E ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Animal)) (capability Flexion instrument ?BC)) |
Mid-level-ontology.kif 10684-10695 |
|
(=> (and (antagonistMuscles ?A ?B) (instance ?F Flexion) (instrument ?F ?AC) (moves ?F ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Animal)) (capability Extension instrument ?BC)) |
Mid-level-ontology.kif 10671-10682 |
|
appearance as argument number 0 |
![]() |
![]() |
![]() |