Skip to content

KnowledgeGraph

In std/knowledge.

type KnowledgeGraph : {Knowledge, Graph<Concept, Relation>}

A graph whose nodes are concepts and whose edges are relations, which is still Knowledge: the projection loses neither contract.