Initialize Mythology

: describe-context ((ASSERTIONS (WFF1 WFF2 WFF3 WFF4 WFF5 WFF6 WFF7)) (RESTRICTION NIL) (NAMED (REAL-WORLD)))

: set-context mythology (WFF1 WFF2 WFF3 WFF4 WFF5 WFF6 WFF7)

Previous slide

Next slide

Back to first slide

View graphic version