xing4 zhi4 ming4 ti2

性質命題