Puzzle-platformer, drawn in a painterly style.
GroBoto is a marvelous real-time boolean modeling software
An enterprise-class modeling environment for developing Semantic Web ontologies
