Constitutive & Mereological

GL Constitutive quale — encodes how an entity is composed of, constituted by, or structurally related to other entities. Covers general parthood, membership in collections, material constitution, and containment.

fnbr:has_as_part

The general parthood relation.

• DUL parents: dul:has_part · dul:has_proper_part · dul:has_component
• Domain: Whole
• Range: Part

fnbr:has_as_member

A collection has an entity as one of its members. Distinct from parthood: a flock is not a part of its members but contains them as members.

• DUL parents: dul:has_member
• Domain: Collection
• Range: Member

fnbr:contains

An entity contains another. Container/contained or collection/member depending on Domain type.

• DUL parents: dul:has_part · dul:has_member
• Domain: Container
• Range: Contents

fnbr:includes

An entity, situation, or event includes another as a part or participant.

• DUL parents: dul:has_part · dul:includes_event · dul:includes_object
• Domain: Whole
• Range: Included

fnbr:is_made_of

The material-constitution relation: an entity is made of a particular material or substance. Distinct from parthood — the statue is made of (constituted by) marble but is not 'part of' the marble.

• DUL parents: dul:has_constituent
• Domain: Object
• Range: Material

fnbr:has_building_part

A building or built structure has a particular architectural component (wall, roof, foundation, window).

• DUL parents: dul:has_component
• Domain: Building
• Range: ArchitecturalComponent

fnbr:constitutively_uses

A composite quale: the Domain has the Range as both a Constitutive part AND as a Telic-relevant component (e.g., an engine is constitutively part of a car AND is what enables driving).

• DUL parents: dul:has_component
• fnbr: parent: fnbr:has_telic
• Domain: Whole
• Range: FunctionalPart