(subclass ChangeOfControl AchievingControl) | Mid-level-ontology.kif 23439-23439 | ChangeOfControl は AchievingControl の subclass では %n |
(subclass Capturing ChangeOfControl) | Mid-level-ontology.kif 23453-23453 | Capturing は ChangeOfControl の subclass では %n |