I wonder if it's possible to design a new formal language (something like lojban [1], with a grammar strictly based on formal logic) but with better UX so that it can be used by regular folks like me? Maybe combine something like Attempto [2] with a dedicated visual UI?

I would think a language like that could speed up knowledge base construction. Maybe it can also serve as a substitute for natural languages in some situations where we want our communication to be logically airtight.

[1] https://en.wikipedia.org/wiki/Lojban

[2] https://en.wikipedia.org/wiki/Attempto_Controlled_English

On a separate note, I've always wondered how Cyc is pronounced. Is it "sike", or is it "see-why-see"?