什么是通用类Axiom用于？

Question

This post显示了一般类Axiom的示例：

((walksLike some Duck) and (talksLike some Duck)) SubClassOf Duck

对于给鸭子提供必要和充分的条件是不是一样的？

Duck EquivalentTo: ((walksLike some Duck) and (talksLike some Duck))

它们在逻辑上是否相同？我也读过this article，但我不明白通用类Axiom的实际用途。

Answer 1

如AKWS所述，包含仅提供necessary或sufficient中的一个。

示例：

A1 instanceOf Duck

A2 instanceOf (walksLike some Duck) A2 instanceOf (talksLike some Duck)

只有包含公理，查询：

Duck的实例：A1, A2 walksLike some Duck的实例：A2

用等价公理：

Duck的实例：A1, A2 walksLike some Duck的实例：A1, A2