三、类、性质、关系、命题等的存在性