decide的形容词形式decidable；
decidable：adj.可决（判）定的；决定得了的
A decidable algorithm for inclusion of quasi-algebraic varieties.
拟代数簇包含关系的判定算法。
Because of making decidable description logic as knowledge representation and having formal modeling language, ontology becomes a general knowledge representation model.
由于本体以可判定的描述逻辑作为知识表示方式，具有形式化的建模语言，使得本体逐渐成为一种通用的知识表示模型。
They decided to sound out her interest in the project.
他们决定试探一下她对那个项目的兴趣。
温馨提示：
