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 | The number 1 argument of antagonist muscles is a subclass of muscle |
(domainSubclass antagonistMuscles 2 Muscle) | Mid-level-ontology.kif 10661-10661 | The number 2 argument of antagonist muscles is a subclass of muscle |
(instance antagonistMuscles BinaryPredicate) | Mid-level-ontology.kif 10658-10658 | antagonist muscles is an instance of binary predicate |
(instance antagonistMuscles IrreflexiveRelation) | Mid-level-ontology.kif 10659-10659 | antagonist muscles is an instance of irreflexive relation |
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 |
appearance as argument number 0 |