Теории / модели
Сети (графы) взаимосвязанных утверждений. Зачастую основываются на явных или неявных аксиомах. Описывают некоторый фрагмент реальности, имеют предсказательную и объяснительную силу.
Определения
"Кирпичики" моделей и теорий, описывают содержание концепций.
Аргументы
Обоснования какой-либо позиции или утверждения. Состоят из положения (вывода) - мысли, которая утверждается; обоснования - совокупности доводов, взаимосвязанных суждений, которые рассматриваются как истинные; и схемы (оператора), по которой доводы связываются между собой и ведут к выводу.
Контраргументы
По сути, это аргументы с противоволожным выводом.
Факты
Своего рода аксиомы, т.е. знания, не требующие доказательств; либо стопроцентно доказанные знания. Реальных фактов на самом деле не так уж и много.

Очевидным образом могут отражаться в Виды заметок в базе знаний