http://swan.mindinformatics.org/ontologieshttp://inference-web.org/w

used by 0: