伴意関係(𝐾𝐵 ≡ 𝐾𝐵 ∧ 𝛼)となるかを調べること
知識表現と推論(Knowledge Representation and Reasoning:KR&R)
Dependent Type Semantics 接触元 『勉強会/オントロジーの概要』