thedays.cn
今日百科
百科
登录
注册
首页
>
SHIOQ (D)
✍ dations ◷ 2024-12-23 11:04:18
#逻辑语言
SHIOQ (D)是一种描述逻辑语言。OWL 1.0Web本体语言是SHOIQ(D)的一种语法形式。
SHIOQ(D)中允许如下的语言构造符:
相关
粗面岩
粗面岩是一种化学成分和正长岩相同的火山喷出岩石,基质为隐晶质,有气孔或多孔的熔渣构造,表面粗糙,所以名为粗面岩,可以有灰色、灰白色、浅褐黄色、浅肉色等多种颜色,有斑状结构,其
嵌齿象
嵌齿象属(学名:Gomphotherium),又名三棱齿象或四偏齿象,是一属已灭绝的长鼻目,生存于中新世早期至上新世早期的欧洲(包括法国、德国及奥地利)、北美洲(美国堪萨斯州)、亚洲(巴基斯坦)及
钩吻碱
钩吻碱(C20H22N2O2)是一种吲哚生物碱,分离自于原产于热带和亚热带美洲和东南亚的开花植物钩吻属。是一种麻痹剧毒化合物,接触可导致死亡。通常具有作为哺乳动物甘氨酸受体激动剂
太阳望远镜
太阳望远镜是专门用于太阳观测,是用途特殊的光学望远镜。太阳望远镜需要有足够大的口径以获取最佳的衍射极限,不同于其他天文望远镜的是,太阳望远镜无需考量望远镜的集光力。因
笄
笄礼,是中国、朝鲜传统的女性成年礼。笄礼作为女性的成人礼,像男性的冠礼一样,也是表示成人的仪式,在举礼的程序等问题上大体和冠礼相同。“笄”(拼音:jī ,注音符号:ㄐㄧ),《说文解字
一号粮仓
一号粮仓,原为台北市存放粮食的仓库,建于1944年日治末期,为台北市的第一座粮仓。建筑外墙上尚有二战美军空袭的248个弹孔。战后由行政院农业委员会农粮署北区分署接管,改作为台
江右民系
江右民系,即江右人,或称赣民系,是以赣语为母语的汉族分支,主要分布于江西大部分地区、湖南东部、湖北东南部、安徽西南部和福建西北部。江西地区在秦朝以前鲜少受到中原文明的影
2017年至2018年意大利足球甲级联赛
2017年至2018年意大利足球甲级联赛(意大利语:Serie A 2017-2018,受意大利移动电信赞助冠名为Serie A TIM 2017-2018)是意大利顶级联赛的第116个赛季。本赛季在2017年8月19
科尔马克·墨菲-奥康纳
科尔马克·墨菲-奥康纳(英语:Cormac Murphy-O'Connor;1932年8月24日-2017年9月1日)是英国籍天主教已故司铎级枢机及威斯敏斯特总教区荣休总主教。科尔马克生于1932年8月24日,英国
赫曼·尼克
赫曼·尼克(Hermann Necke,1850年11月8日-1912年2月15日)是德国的浪漫主义作曲家。代表作是舞曲‘邮递马车’(Csikós Post)。从作品编号可知生涯作曲将近300曲,有许多小奏鸣曲等钢