http://knoesis.wright.edu/provenir/provenir.owlhttp://inference-web.org/w

used by 0: