Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| InvoluntaryMuscle(involuntary muscle) |  | involuntary_muscle, musculus_sphincter_ani_internus, myometrium, smooth_muscle |
| appearance as argument number 1 |
|
|
| (subclass InvoluntaryMuscle Muscle) | Mid-level-ontology.kif 11865-11865 | Involuntary muscle is a subclass of muscle |
| (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 11866-11867 | Involuntary muscle is a subclass of muscle |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?H Heart) (material InvoluntaryMuscle ?H)) |
Mid-level-ontology.kif 12835-12837 | If X is an instance of heart, then X is made of involuntary muscle |
|