Property information

definition

p has part that occurs in c if and only if there exists some p1, such that p has_part p1, and p1 occurs in c.

term editor

Chris Mungall

Property relations