オブジェクト識別性
表現
包摂制約
関係付け
属性継承
分類
モジュール階層
仮説付き問合せ
(仮説)推論
仮定付き解