Equivalent Statementsin SNePSLOG 2

: ~featherless-biped(Snoopy)!

~RATIONAL-ANIMAL(SNOOPY)

~FEATHERLESS-BIPED(SNOOPY)

~HUMAN(SNOOPY)

Previous slide

Next slide

Back to first slide

View graphic version