http://semanticweb.org/id/Category-3ADifferential_Logic

used by 0: