Thoughtscript[io]

Adam In Tae Gerard
Ground Facts and Truth #2
- universal knowledge ontology
Ground Facts and Truth
- automating truth and proof