A semantic network system for defining concepts, relationships, and building knowledge graphs with automatic inference