Ontify
Transitive set closed under the operations of parameterized union, power set and unordered pairs.