![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
ListFn__7Fn__0En1En2In3In4Ra5En6En7EnFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass TransversusMuscle Muscle) | Muscles.kif 425-425 | Transversus muscle is a subclass of muscle |
| (muscleOrigin TransversusMuscle MedianFibrousSeptum) | Muscles.kif 427-427 | The origin of transversus muscle is MedianFibrousSeptum |
| (muscleInsertion TransversusMuscle SidesOfTongue) | Muscles.kif 428-428 | The insertion point of transversus muscle is SidesOfTongue |
| (documentation TransversusMuscle EnglishLanguage "The TransversusMuscle narrows Tongue with no elongation.") | Muscles.kif 431-431 | The insertion point of transversus muscle is SidesOfTongue |
| appearance as argument number 2 |
|
|