演繹的データベース

日 [えんえきてきでーたべーす] [enekitekide-tabe-su]

读成：えんえきてきでーたべーす
中文：演绎资料库、全称量词、演绎数据库