Equivalent Statementsin SNePSLOG 1

: all(x)(thresh(1){human(x),

featherless-biped(x),

rational-animal(x)}).

: human(Socrates)!

HUMAN(SOCRATES)

FEATHERLESS-BIPED(SOCRATES)

RATIONAL-ANIMAL(SOCRATES)

Previous slide

Next slide

Back to first slide

View graphic version