Pop Quiz

Submitted by infojunkie on Thu, 2008-08-07 00:58.
in

What does this mean: {{{ 

     (#<img class="teximage" src="/files/tex/783f24a3c095bbbc53d30b932101494dbed5e0c4.png" alt="$ forAll ?PERSON1
     (# $" />implies
        (#<img class="teximage" src="/files/tex/6c8db462dbbc868fb7529c75fd1a70a7010e73cd.png" alt="$ isa ?PERSON1 # $" />Person)
        (#<img class="teximage" src="/files/tex/17606da0f1e8249e64f28e259e985e653a63af64.png" alt="$ thereExists ?PERSON2
           (# $" />and
             (#<img class="teximage" src="/files/tex/13cffa4604a6669caf2e41ab2f7d486b65aebfac.png" alt="$ isa ?PERSON2 # $" />Person)
             (#$loves ?PERSON1 ?PERSON2)))
}}}

Found at an OpenCyc tutorial.

OpenCyc !!, Isn't RDF +

Submitted by Remon Georgy (not verified) on Sun, 2008-08-10 10:39.

OpenCyc !!, Isn't RDF + SPARQL quite enough :-P ?

And isn't Prolog enough to

Submitted by infojunkie on Mon, 2008-08-11 11:26.

And isn't Prolog enough to start with!

Easy :)

Submitted by Ahmed Toulan (not verified) on Thu, 2008-08-07 22:56.

Every person has someone else to love him.

But what is this syntax anyway !!?

It's OpenCyc, a logic

Submitted by infojunkie on Fri, 2008-08-08 11:12.

It's OpenCyc, a logic programming system that comes with a large rule base that, according to the developers, encodes most our common knowledge about the world. Wow!