thedays.cn
今日百科
百科
登录
注册
首页
>
SHIOQ (D)
✍ dations ◷ 2025-06-30 00:04:46
#逻辑语言
SHIOQ (D)是一种描述逻辑语言。OWL 1.0Web本体语言是SHOIQ(D)的一种语法形式。
SHIOQ(D)中允许如下的语言构造符:
相关
许霍·德弗里斯
许霍·马里·德弗里斯(Hugo Marie de Vries,荷兰语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode"
氨甲环酸
传明酸(tranexamic acid (TXA) 或 transamin,又称氨甲环酸)是一种人工合成的氨基酸,其他名称有断血炎、止血环酸、凝血酸等,具有止血抗炎的药理效果,本作为凝血剂用途,有针剂跟口服
矿物补充剂
矿物质,又称为无机盐,除了碳、氢、氮和氧之外,也是生物必需的化学元素之一,也是构成人体组织、维持正常的生理功能和生化代谢等生命活动的主要元素,约占人体体重的4.4%。它们可以
荷兰裔加拿大人
荷兰裔加拿大人(英语:Dutch Canadians;荷兰语:Nederlandse Canadezen)指的是拥有荷兰人血统的加拿大国民。根据2006年的加拿大人口普查,一共有1,035,965名加拿大人拥有纯正或部分
教育经济学
教育经济学(education economics)是研究教育中经济学规律的学科,是经济学的一支。研究主题包括教育成本、教育效益、教育评价、教育产业等等,该学科的目的主要希望能在护持教育
巴克乌
巴克乌(罗马尼亚语:Bacău 罗马尼亚语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000",
王晓书
王晓书,台湾听障模特儿、电视节目主持人、手语主播、业余作家、手语翻译员,实践家专服装设计科毕业。 她在三岁时,因为发烧延误治疗,导致失聪,从此进入无声的世界。幼儿园到高中
武田一浩
武田一浩(日语:武田一浩/たけだ かずひろ ,1965年6月22日-),为日本的棒球选手、NHK棒球解说员,出生于东京都世田谷区。他曾效力于日本职棒福冈软件银行鹰等,守备位置为投手,于2002年
里洛易·格鲁门
里洛易·格鲁门(英语:Leroy Grumman,1895年1月4日-1982年10月4日)生于纽约州,是美国著名的工业家和航空学工程师,格鲁门公司的创始人。1916年格鲁门在康奈尔大学获得工程学学位。
徐善衍
徐善衍(?-),中华人民共和国政治人物,中国科学技术协会原副主席、荣誉委员,第九届、第十届全国政协委员。