SHIOQ (D)

✍ dations ◷ 2025-05-18 22:02:27 #逻辑语言

SHIOQ (D)是一种描述逻辑语言。OWL 1.0Web本体语言是SHOIQ(D)的一种语法形式。

SHIOQ(D)中允许如下的语言构造符:

相关

  • PPAR过氧化物酶体增殖物活化受体 或称为 脂小体增生活化受体(Peroxisome proliferator-activated receptor,PPARs)在分子生物学的领域里,是一组核受体蛋白 ,具有转录因子的功能,以调控
  • 朱敬一朱敬一(1955年10月29日-),台湾经济学家。台大商学系毕业,美国密歇根大学经济学博士,曾任中华民国(台湾)常驻世界贸易组织(WTO)代表团常任代表、美国国家科学院海外院士。朱敬一于1998
  • 片状片剂或锭剂(英语:Tablet)系指药物与辅料混合均匀后经制粒或不经制粒压制成的片状或异型片状制剂可供内服和外用,是目前临床应用最广泛的剂型之一。片剂由药物和辅料二部分组成,辅
  • 阴茎大小人类阴茎尺寸指阴茎在疲软或勃起时的长度和周长。但因为测量方法不同,阴茎在不同温度、时间、性生活频率、兴奋程度等状况时会有变化,因此阴茎长度的数据并不精确,疲软长度的数
  • 何曼德何曼德(英语:Monto Ho,1927年3月28日-2013年12月9日),生于中华民国四川省重庆市,籍贯中国湖南,拥有中华民国与美国双国籍,生物学者,专长为为微生物学、病毒学、感染症及抗生素抗药性,为
  • 国姓爷郑成功(1624年8月27日-1662年6月23日),原名森,字明俨、大木,幼名福松,为南明政权的重要将领。南明绍宗隆武帝赐明朝国姓朱,赐名成功,世称“国姓爷”(荷兰语:Koxinga),或郑赐姓、郑国姓、
  • 消毒搓手液消毒搓手液,又名免冲水洗手液、免水洗手液、免洗洗手液、干洗手等,是一种具有杀菌消毒功效的液体,用于洗手用途。由于搓手液无需用水冲洗,可在没有清洁水源的情况下清洁手部,所以
  • 光合自营光合自营的定义为利用叶绿素或菌绿素中的酵素并以光线为能量提供源,用硫或氧作为氧化剂,将光线转变为化学能储存于新产生分子中的一种行为,拥有该行为的生物主要分布于植物界、
  • 等离子体推进发动机等离子体推进发动机(Plasma propulsion engine)的较狭义的定义是以推进剂(为等离子体体)中的电流或电势来加速推进剂,即不单独用电场加速推进剂者。与其区别的离子推进器则是使用
  • 锺明善锺明善(1939年-),男,汉族,陕西咸阳人,中国书法家,中国书法家协会原副主席、顾问。曾先后师从书法家高乐三、程克刚、陈少默。1960年毕业于陕西师范大学中文系。书法作品1987年获“全