SNP is a semantic network processor that implements a DMAP-style expectation-based spreading activation algorithm for semantic networks of frames. The frames in a network are connected via abstraction and packaging relationships, i.e., isa and part-of.
SNP1.0 PDF documentation can be downloaded from here.
The zip archive with the SNP1.0 source code and documentation can be downloaded from here.