由douglenat率领的cyc小组，归正在试图将人们的理解力（humanunderstanding）分化为数以千计的被称做微理论（micro-throries）的工具，比如疾病，食物的制备，交换，合做行为，并考试考试将它们用逻辑符号翻译成为根基的法则。
基于1个网页-相关网页
应用推荐
模块上移
模块下移
不移动