(subclass BeliefGroup GroupOfPeople) | Merge.kif 16592-16592 | BeliefGroup は GroupOfPeople の subclass では %n |
(subclass ReligiousOrganization BeliefGroup) | Merge.kif 16737-16737 | 宗教団体 は BeliefGroup の subclass では %n |
(subclass AntiVaxxer BeliefGroup) | Medicine.kif 3056-3056 | AntiVaxxer は BeliefGroup の subclass では %n |