Those ones aren't made with machine learning or statistics. They are made more symbolically maybe more like Wolfram Alpha. CyC can probably be cleverly integrat

Those ones aren't made with machine learning or statistics. They are made more symbolically maybe more like Wolfram Alpha. CyC can probably be cleverly integrated with LLMs in a similar way that they have integrated Wolfram Alpha!