thedays.cn
今日百科
百科
登录
注册
首页
>
SHIOQ (D)
✍ dations ◷ 2025-04-26 14:44:22
#逻辑语言
SHIOQ (D)是一种描述逻辑语言。OWL 1.0Web本体语言是SHOIQ(D)的一种语法形式。
SHIOQ(D)中允许如下的语言构造符:
相关
人参
人参又称为亚洲参、红参、生晒参、山晒山参、石柱参、朝鲜参、野山参、人衔、鬼盖、土精、神草,在中国东北土名棒槌,是五加科人参属的一种,具有肉质的根,可药用,主要生长在东亚,特
三甲苯
三甲苯是苯环上连接三个甲基而形成的烃类化合物,分子式为 C6H3(CH3)3 ,包括三个同分异构体:
费米悖论
费米悖论(Fermi paradox,又称费米谬论)阐述的是对地外文明存在性的过高估计和缺少相关证据之间的矛盾。 宇宙惊人的年龄和庞大的星体数量意味着,除非地球是一个特殊的例子,否则地
核关大学
核关大学(Herguan University)是位于美国加利福尼亚州森尼韦尔的一所私立大学,成立于2008年,虽然2012年曾被美国移民和海关执法局指控签证欺诈, 2014年12月17日仍然获ACICS许可。
TIM
TIM是腾讯推出的办公版聊天软件,前身为腾讯QQ轻聊版。可用QQ号登录,软件风格比腾讯QQ更简约且更方便办公使用,并且能够更好地管理在线文档和日程,同时可邀请他人同时编辑。消息
大黑山
大黑山是中国辽宁省大连市金州区的一座山峰。又名大赫山、大和尚山,海拔663米,是辽东半岛南部最高峰。位于金州城区以东5公里,距大连市区25公里。因山石多为黑色而得名。山上有
风衣
风衣中文里指一种能遮风、挡雨、御寒的多功能日用长衣外衣,是外套的一类。英文中可以指改良自雨衣用来防风防雨的大衣(英语:)或是仅是用来防风保暖的外套(英语:、)。同时因为英文中
侧风
侧风是指与某一方向或行进方向有正交分量的风。 在航空中,侧风是指风的一部分吹过跑道,使得起飞降落较风向与跑道平行时更加困难的风。如果侧风足够强烈,并超过了飞机侧风限制,
伊皮尤塔克文化
坐标:68°20′35″N 166°49′20″W / 68.34306°N 166.82222°W / 68.34306; -166.82222伊皮尤塔克文化(英语:Ipiutak culture),阿拉斯加西北爱斯基摩人文化,时间为2—6世纪。沿
三聚氰氯
三聚氰氯,又称三聚氯氰,是一种有机化合物,化学式为(NCCl)3。它是一种白色固体,通过1,3,5-三嗪氯化得到。它是氯化氰的三聚体。三聚氰氯是广泛使用但有环境问题的除草剂草脱净之