Basic SNePS Principles

Term Logic:

Every expression in SNePS is a term.

Intensional Representation:

Every SNePS term represents (denotes) an intensional (mental) entity.

Uniqueness Principle:

No two SNePS terms denote the same entity.

Previous slide

Next slide

Back to first slide

View graphic version