後で資料にする。
terminology 述語と関係 vocabulary 論理の述語 { 0項述語 1項述語 2項述語 無項述語〈nulary predicate〉 単項述語〈unary predicate〉 二項述語〈binary predicate〉 n項述語 述語 /* ボキャブラリー内部の同義語指定にはイコール */ 0項述語 = 無項述語 1項述語 = 単項述語 2項述語 = 二項述語 n項述語 = 述語 } context 関係など for 論理の述語 { {0項関係 | 無項関係} := 0項述語 {1項関係 | 単項関係} := 1項述語 {2項関係 | 二項関係} := 2項述語 n項関係 := n項述語 {性質 | プロパティ | proerty} := 1項述語 } context 一般的言い方 for (論理の述語 ∪ 関係など) { 真偽値 := 0項述語 部分集合 := 1項関係 関係 := 二項関係 }
context の for に入ると、context は dom vocabulary の意味となる。やはり、context と vocabulary は同じ名前空間のほうがいいかも。