如何使用 Protègè 使用 SWRL 规则选择具有一个属性值的个人

问：

我正在使用 Protègè 5.5.0 对 Pokèmon 的本体进行建模，它的推理者是 Hermit（Pellet 不起作用并使程序崩溃）。我创建了一些关于口袋妖怪类型有效性的规则。 我首先创建了一个规则，说明，例如，草型神奇宝贝可以使用草型的动作，现在我想创建一个规则，说明只有一种类型的口袋妖怪（因此，不包括那些具有草和毒类型的口袋妖怪，例如，与球龙）具有与它可以使用的动作相同的效果。 例如，如果水动作对火动作非常有效，那么水口袋妖怪对火口袋妖怪就非常有效。

我创建了这个规则：SuperEffective（？x，？y）、hasType（？z，？y） -> SuperEffective（？z，？y），唯一的问题是它还选择了两种类型的口袋妖怪。从规则中插入这种限制/排除的语法是什么？谢谢。