column value
英文名稱 many-sorted predicate calculus
中文名稱 多種類謂詞演算