Es la fórma lógica clásica de la proposición o juicio aristotélico “A es B”, donde A es la sustancia y B es la categoría como predicado.