Reasoning methods First-orde logic Formal semantics 1s-a part-o 1S- part-o Resolution calculus associated Svllogism-- Quantification view -O view part-o notio Determiner Square of opposition Aristotle on uantification notion Bound Free 1s-a variables variables antonym Syllogisms associated Reasoning methods First-orde logic Formal semantics 1s-a part-o 1S- part-o Resolution calculus associated Svllogism-- Quantification view -O view part-o notio Determiner Square of opposition Aristotle on uantification notion Bound Free 1s-a variables variables antonym Syllogisms associated