Individual km#term_logic__traditional_logic__traditionallogic
  >part:  #Aristotelian_logic
  >part of:  km#formal_logic
     >part of:  #logic.philosophy  the branch of philosophy that analyzes inference
        >part of:  #philosophy  the rational investigation of questions about existence and knowledge and ethics

No statement uses or specializes km#term_logic; click here to add one.