member part of
IRI
Definition
b member part of c =Def b is an object & c is a material entity & there is some time t such that b continuant part of c at t & there is a mutually exhaustive and pairwise disjoint partition of c into objects x1, ..., xn (for some n ≠ 1) with b = xi (for some 1 <= i <= n)
http://purl.org/dc/elements/1.1/identifier
228-BFO
http://www.w3.org/2004/02/skos/core#scopeNote
Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>
- Range
- material entity
- Domain
- material entity
- Inverse Object Properties
- has member part