Knowledge Modeling is the modeling of possibilities and options for kinds of things. Such kinds of things can be kinds of physical objects, but also kinds of processes, activities and events.
Possibilities for kinds should be regarded as suggestions or reminders for options e.g. to chose from during a design process. Possibilities for kinds are expressed in Gellish by relations that are denoted by phrases that start with ‘can be …’ or ‘can have …’.
Such kinds of relations do not specify that such possibilities shall be fulfilled.
When a possibility is also a requirement, then that is expressed by kinds of relations that are a subtype of a possibility and are denoted by phrases that start with ‘shall have …’ or ‘shall be …’. The specification of possibilities does not exclude that other things than those possibilities are also possible.
When a possibility is also a necessity, then that is expressed by kinds of relations that are further subtypes and are denoted by phrases that start with ‘has by definition …’ or ‘is by definition …’.