I'm looking for the database using the idea of conceptual graphs proposed by John F. Sowa
The Web Ontology Language is pretty close to what you want. You can express all of that, including situations and propositions, although those are somewhat clunky because you would have to use named graphs.