公理语义学

相关

• 肾上腺素肾上腺素（Epinephrine或Adrenaline）, 3,4-三羟基-N-甲基苯乙胺。是肾上腺髓质分泌的激素及神经传导物质，也是一种药物。肾上腺素被应用于治疗多项疾病，包含全身性过敏反应、心搏
• 蚜虫包括10个科：蚜虫（英语：aphid，又称腻虫或蜜虫）是一类植食性昆虫，种类包括蚜总科（又称蚜虫总科，学名：Aphidoidea）下的所有成员。目前已经发现的蚜虫总共有十个科约4,400种，其中多数属于蚜
• 磷酸盐磷酸盐（phosphate，符号：PO3−4），是磷酸的盐，在无机化学、生物化学及生物地质化学上是很重要的物质。磷酸盐离子是一个多原子的离子，其实验式是PO43−，而分子量是94.97。它包含一个磷
• 高收入经济体高收入经济体（high-income economy），根据世界银行的定义，使用图表集法计算的人均国民总收入超过某个标准的经济体，称为高收入经济体。此标准在2018年为12,355美元。“高收入经济
• 西撒哈拉西撒哈拉（阿拉伯语：الصحراء الغربية‎ Aṣ-Ṣaḥrā’ al-Gharbīyah；西班牙语：Sahara Occidental；柏柏尔语：Taneẓroft Tutrimt）位于非洲西北部，地处撒哈拉沙漠西部，
• 图在数学的分支图论中，图（Graph）用于表示物件与物件之间的关系，是图论的基本研究对象。一张图由一些小圆点（称为顶点或结点）和连结这些圆点的直线或曲线（称为边）组成。西尔维斯特在187
• 塞杰斯塔塞杰斯塔（古希腊语：Ἕγεστα，转写：Egesta；西西里语：Siggésta）是古希腊城市之一，由伊利米人创建，位于意大利西西里岛西北部。塞杰斯塔在历史上长期和塞利农特对立。在公元前580年
• Netscape网景通信（英语：Netscape Communications ），以前称为网景通信公司（Netscape Communications Corporation），大部分通常被简称为网景（Netscape）。网景曾经是一家美国的电脑服务公司，以其
• 特异度灵敏度和特异度（Sensitivity and specificity），是统计学中用来表征二项分类测试特征的数据。灵敏度可以作为避免假阴性的量化指标，而特异度可以作为避免假阳性的量化指标。对于
• 波你尼波你尼（IAST：Pāṇini；天城文：पाणिनि，意思是“波你人的后代”）是来自古代南亚健驮逻现在巴基斯坦地区的古代梵语文法家。(fl. 公元前4世纪）。他著名于对梵语语法学的贡献，特别