OWL
The Web Ontology Language (OWL) language also support three semantic equivalence statements.