NILNotes:
- Source: KIF Version 3.0 Specification
(Undefined@Ol-User%Kif-Extensions (Arity@Frame-Ontology Difference)) (Nth-Domain@Frame-Ontology Difference 3 Set) (Nth-Domain@Frame-Ontology Difference 1 Set)
(=> (= (Difference ?Set @Sets) ?Diff-Set) (=> (Item@Ol-User%Kif-Lists ?S (Listof @Sets)) (Set ?S)))