Object types for modeling knowledge processing