| InvoluntaryMuscle(involuntary muscle) | | involuntary_muscle, musculus_sphincter_ani_internus, myometrium, smooth_muscle |
| appearance as argument number 1 |
|
|
| (documentation InvoluntaryMuscle EnglishLanguage "A Muscle that is not under the conscious control of the Animal, such as the Muscles of the Heart.") | Mid-level-ontology.kif 11309-11310 | |
| (subclass InvoluntaryMuscle Muscle) | Mid-level-ontology.kif 11308-11308 | Involuntary muscle is a subclass of muscle |
| appearance as argument number 2 |
|
|
| (material Heart InvoluntaryMuscle) | Mid-level-ontology.kif 12234-12234 | Involuntary muscle is made of heart |
| (subclass HeartMuscle InvoluntaryMuscle) | Mid-level-ontology.kif 11312-11312 | Heart muscle is a subclass of involuntary muscle |
| (termFormat EnglishLanguage InvoluntaryMuscle "involuntary muscle") | domainEnglishFormat.kif 65069-65069 | Heart muscle is a subclass of involuntary muscle |
|
|
|