[KIF] interesting CL example

John F. Sowa sowa at bestweb.net
Tue Sep 24 20:20:54 CDT 2002


Pat,

P and Q can have different extensions:

 > (forall (?x ?y)(= ?x ?y)
 > (P a)
 > (not (Q a))

The extension of P is {a}, and the extension
of Q is the empty set {}.

John




More information about the Kif mailing list