ser-verdadeiro (STMSCC)
être-vrai (ETEM)
being-true (BTJS)

Wahrsein (das): «ser-verdadero». En concordancia con la entrada Wahrheit, el ser-verdadero indica el carácter de verdad propio del enunciado que, por su parte, se opone al ser-falso (Falschsein). (LHDF)

Heidegger fala de ser (Sein) como verdade (Wahrsein), referindo-se ao ens rationis logicum da Escolástica. (MacDowell)