(subclass InvoluntaryMuscle Muscle) | Mid-level-ontology.kif 10412-10412 | InvoluntaryMuscle est une sous-classe de muscle |
(subclass HeartMuscle InvoluntaryMuscle) | Mid-level-ontology.kif 10416-10416 | HeartMuscle est une sous-classe de InvoluntaryMuscle |