(subclass BeliefGroup GroupOfPeople) | Merge.kif 16614-16614 | BeliefGroup は GroupOfPeople の subclass では %n |
(subclass ReligiousOrganization BeliefGroup) | Merge.kif 16759-16759 | 宗教団体 は BeliefGroup の subclass では %n |
(subclass AntiVaxxer BeliefGroup) | Medicine.kif 3056-3056 | AntiVaxxer は BeliefGroup の subclass では %n |
![]() |