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