http://www.eclipse.org/tptp/
http://www.atmarkit.co.jp/fjava/rensai3/eclipsetst04/eclipsetst04_2.html