Axiom Extensionality-Property-Of-Sets

• Defined in ontology: Kif-sets
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-sets.lisp

Documentation@Ol%Frame-Ontology:

Two sets are identical if and only if they have the same members.

Notes:

• Source: KIF Version 3.0 Specification

Defining axiom of Extensionality-Property-Of-Sets:

(=> (And (Set ?S1) (Set ?S2))
    (<=> (Forall (?X) (<=> (Member ?X ?S1) (Member ?X ?S2)))
         (= ?S1 ?S2)))