LogicMOO
16 members, 3 online
Discussion and Development of opensrc versions of semantic reasoners like CYC, FLP, NomicMU, NARS, SNARK, PowerLOOM and from https://frdcsa.org/

See: https://drive.google.com/drive/folders/0B0QA19UX0ehlV1ZEaXEzc3hjTWM?ths=true
If you have Telegram, you can view and join
LogicMOO right away.