定式化
superclass-subclass (x −[superclass]→ y): ノードxが表す概念に含まれる例がすべてノードyが表す概念の例である. part-whole (x −[part-of]→ y): ノードx が表す概念がノードyが表す概念の一部分である.
part-whole (x −[part-of]→ y): ノードx が表す概念がノードyが表す概念の一部分である.
意味記憶 (Semantic Memory) [Quillian 1968]
エピソード記憶 (Episodic Memory)
推論メカニズム