FIBOFND12 — comprises needs an explanatory note and inverse property

comprises is used in places in FIBO as a broader concept than has part, that is somewhat related to hasPart (i.e., similar to and possibly a synonym of includes), where we need cardinality restrictions on how many parts of some type that something can have, or on the thing that something must be included in. Comprises is not defined as transitive to facilitate the use of cardinality restrictions.

In order to help make this clear, we need an explanatory note on comprises, and an inverse for it, possibly called isIncludedIn, that can be used for this purpose.

comprises needs an explanatory note and inverse property

This issue involves adding a note to the definition of comprises as well as creating a new inverse property, isIncludedIn, for use in other downstream ontologies.

The resolution of this issue depends on the resolution of FIBOFND12-2 and FIBOFND12-3.