Whole-Part definitions for General Formal Ontology ()