You can’t reach that kind of certainty with high level human concepts.
Yes, so there’s the additional problem of accounting for errors: how can you account for formal logical systems that seem to track real concepts, but only do so approximately (or only within the usual bounds of human experience)?
Try Cyc+wikipedia+rest of the internet. The advantage Cyc has is that people have been writing down blatantly obvious statements, in a way that would be just assumed in other areas. Maybe language learning tools would have the similar “over-obvious” statements explicitly in them?
Yes, so there’s the additional problem of accounting for errors: how can you account for formal logical systems that seem to track real concepts, but only do so approximately (or only within the usual bounds of human experience)?
Try Cyc+wikipedia+rest of the internet. The advantage Cyc has is that people have been writing down blatantly obvious statements, in a way that would be just assumed in other areas. Maybe language learning tools would have the similar “over-obvious” statements explicitly in them?