"From axiom [???-???] NEEDS TO BE ADDED we can infer that no entity is ever continuant_part of any occurrent, and no entity is every occurrent_part of any continuant."
This follows directly from the domain and range of the relationships. Thus, the comment can be removed.
"From axiom [???-???] NEEDS TO BE ADDED we can infer that no entity is ever continuant_part of any occurrent, and no entity is every occurrent_part of any continuant."
This follows directly from the domain and range of the relationships. Thus, the comment can be removed.