Si la clase S representa la clase como propiedad de ser griego; la clase M representa la clase como propiedad de ser hombre; y la clase P representa la propiedad de ser mortal, entonces el silogismo en Barbara sería: