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 10663-10664 | |
(domainSubclass antagonistMuscles 1 Muscle) | Mid-level-ontology.kif 10661-10661 | 域子類 antagonistMuscles, 1 and Muscle |
(domainSubclass antagonistMuscles 2 Muscle) | Mid-level-ontology.kif 10662-10662 | 域子類 antagonistMuscles, 2 and Muscle |
(instance antagonistMuscles BinaryPredicate) | Mid-level-ontology.kif 10659-10659 | 例 antagonistMuscles and BinaryPredicate |
(instance antagonistMuscles IrreflexiveRelation) | Mid-level-ontology.kif 10660-10660 | 例 antagonistMuscles and IrreflexiveRelation |
appearance as argument number 2 |
(format EnglishLanguage antagonistMuscles "%1 and %2 are antagonist muscles") | Mid-level-ontology.kif 10666-10666 | |
(termFormat EnglishLanguage antagonistMuscles "antagonist muscles") | Mid-level-ontology.kif 10665-10665 |
antecedent |
(=> (and (antagonistMuscles ?A ?B) (instance ?E Extension) (instrument ?E ?AC) (moves ?F ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Mammal)) (capability Flexion instrument ?BC)) |
Mid-level-ontology.kif 10685-10696 | |
(=> (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 Mammal)) (capability Extension instrument ?BC)) |
Mid-level-ontology.kif 10672-10683 |
appearance as argument number 0 |