Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| antagonistMuscles |
| appearance as argument number 1 |
|
| (instance antagonistMuscles BinaryPredicate) | Mid-level-ontology.kif 12112-12112 | antagonist muscles is an instance of binary predicate |
| (instance antagonistMuscles IrreflexiveRelation) | Mid-level-ontology.kif 12113-12113 | antagonist muscles is an instance of irreflexive relation |
| (domainSubclass antagonistMuscles 1 Muscle) | Mid-level-ontology.kif 12114-12114 | The number 1 argument of antagonist muscles is a subclass of muscle |
| (domainSubclass antagonistMuscles 2 Muscle) | Mid-level-ontology.kif 12115-12115 | The number 2 argument of antagonist muscles is a subclass of muscle |
| (documentation antagonistMuscles EnglishLanguage "A relation between two Muscles that put opposing forces on a part of the body.") | Mid-level-ontology.kif 12116-12117 | The number 2 argument of antagonist muscles is a subclass of muscle |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage antagonistMuscles "antagonist muscles") | Mid-level-ontology.kif 12118-12118 | |
| (format EnglishLanguage antagonistMuscles "%1 and %2 are antagonist muscles") | Mid-level-ontology.kif 12119-12119 |
| antecedent |
|
|
| (=> (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 12125-12136 | If All of the following hold: (1) X and Y are antagonist muscles (2) Z is an instance of flexion (3) W is an instrument for Z (4) V moves during Z (5) W is an instance of X (6) V is an instance of Y (7) W is a part of U (8) V is a part of U (9) U is an instance of animal, then V is capable of doing extension as a instrument |
| (=> (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 12138-12149 | If All of the following hold: (1) X and Y are antagonist muscles (2) Z is an instance of extension (3) W is an instrument for Z (4) V moves during Z (5) W is an instance of X (6) V is an instance of Y (7) W is a part of U (8) V is a part of U (9) U is an instance of animal, then V is capable of doing flexion as a instrument |
| appearance as argument number 0 |
|
|
|