自动推理

相关

• 新拉丁语新拉丁语（拉丁语：Lingua Latina temporis humanistici、英语：New Latin 或 Neo-Latin）指在文艺复兴时期之后，20世纪前（约1375年至1900年之间）这段时间在学者间与科学文献上使用的拉
• VIAbr /16固体、 液体、 气体氧族元素是指元素周期表上第16族（ⅥA族）的元素，位于氮族元素和卤素之间。氧族元素包含氧（O）、硫（S）、硒（Se）、碲（Te）、钋（Po）、钅立（Lv），其中氧、硫、硒为非金属，碲为类金
• 宗教裁判所宗教裁判所（拉丁语：Inquisitio Haereticae Pravitatis，或称异端裁判所、异端审判）是教宗额我略九世于1231年决意、由道明会设立的宗教法庭。此法庭是负责侦查、审判和裁决天主教
• 多聚甲醛多聚甲醛（IUPAC命名Polyoxymethylene，POM）（或称聚甲醛；聚缩醛），为甲醛的聚合物（高分子量聚甲醛），一般结构长度有八到一百个单位。长链多聚甲醛常用制作于耐热塑胶， 又称聚甲醛塑胶（POE，杜
• 圣诞树圣诞树 （Christmas tree），是圣诞节期间，庆祝中最有名的传统摆设之一。在过去，通常人们在圣诞前后把一棵常绿植物如松树弄进屋里或者在户外，并用圣诞灯和彩色的装饰物装饰，把一个星
• 1979年 墨西哥城第十届夏季世界大学生运动会于1979年9月2日至9月13日在墨西哥墨西哥城举行，这是墨西哥首次主办世界大学生运动会。共有来自94个国家和地区的2974名运动员参加。*  主办国家
• 娘子谷大屠杀娘子谷大屠杀是纳粹党在第二次世界大战进攻苏联期间，于乌克兰首都基辅附近山沟进行一系列大屠杀。最恶名昭著的屠杀事件发生在1941年9月29日-30日，33,771名犹太人在单一行动中
• 乌普萨拉乌普萨拉（瑞典语：Uppsala）是瑞典中部的一座城市，位于首都斯德哥尔摩北面，相距约70公里。它是瑞典的第四大城市，市区人口有168,090。加上周边地区人口，乌普萨拉自治市总共有219,914
• 喻三归匣喻三归匣为曾运乾所提出之音韵学概念。曾运乾在《喻母古读考》中提出：“喻于二母（近人分喻母三等为于母）本非影母浊声：于母古隶牙声匣母，喻母古隶舌声定母。”意思是上古没有喻三
• 本南族本南族是居住于砂拉越与文莱的游牧原住民。他们是现存少数的原住民之一。本南族以实践'molong'著称，亦即不说非必要的话。多数本南族直到二次大战后传教士进入前仍是游牧采集