Section outline

  • - Predicate logic
    - Semantic nets