Question

使用ALCQ编写是否有效：

/*Continut centru*/

#continut {
  padding-top: 250px;
  font-family: 'Roboto Condensed', sans-serif;
  width: 100%;
  user-select: none;
  pointer-events: none;
}

#intro {
  text-transform: uppercase;
  color: #77dff1;
  font-size: 300px;
  text-align: center;
}

.intro {
  position: absolute;
  top: 60%;
  left: 50%;
  transform: translate(-50%, -50%);
  font-size: 24px;
  text-align: center;
  display: table-cell;
  vertical-align: middle;
  max-width: 700px;
  margin: 0 auto;
  line-height: 30px;
}


/*Buton MORE*/

#more {
  position: absolute;
  top: 75%;
  left: 50%;
  transform: translate(-50%, -50%);
  background-color: transparent;
  border: #77dff1 2px solid;
  text-align: center;
  text-decoration: none;
  padding: 15px;
  display: inline-block;
  font-size: 2rem;
  color: #fff;
  font-family: 'Roboto Condensed', sans-serif;
  pointer-events: auto !important;
  /* Add this */
}

为了表达每只狗都喜欢色彩缤纷的玩具？

此外，写下来是否有效：

<div id="continut">
  <h1 id="intro">hi</h1>
  <h6 class="intro">asdf</h6>
  <button type="button" href="#" id="more">More...</button>
</div>

为了表达每个博美犬都很可爱？

Answer 1

不，公式likes ≡ ¬dislikes不属于ALCQ，因为它缺少角色层次结构（名称中为H）。

如果您不必明确使用dislike：

Dog ⊑ ∃likes.(Colourful ⊓ Toy)

然后Cute(∀Pomeranian)不是有效的ALCQ公式，而只是使用：

Pomeranian ⊑ Cute

可以使用ALCQ语法表达吗？

1 个答案: