group of persons

IRI: https://spec.industrialontologies.org/ontology/construct/GroupOfPersons

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

SubClass Of: bfo:object aggregate

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › group of persons

Definition

group (object aggregate) that has one or more persons as members

Semi-Formal Definition:

every instance of ‘group of persons’ is defined as exactly an instance of ‘object aggregate’ that ‘has member part at some time’ some ‘person’ and ‘has member part at some time’ only ‘person’

Examples

• The band, called The Beatles, survived the change in drummer from Pete Best to Ringo Starr

Adapted From

• http://www.ontologyrepository.com/CommonCoreOntologies/Mid/AgentOntology

Formal Axioms

First-Order Logic Definition

GroupOfPersons(x) ↔ ObjectAggregate(x) ∧ ∃y(Person(y) ∧ hasMemberPartAtSomeTime(x, y)) ∧ ∀z(hasMemberPartAtSomelTime(x, z) → Person(z))

Description Logic

constr:GroupOfPersons ≡ bfo:object_aggregate ⊓ ∃ bfo:has_member_part_at_some_time .constr:Person ⊓ ∀ bfo:has_member_part_at_some_time .constr:Person

constr:GroupOfPersons ⊑ bfo:object_aggregate

EquivalentTo: bfo:object_aggregate and bfo:has_member_part_at_some_time some constr:Person and bfo:has_member_part_at_some_time only constr:Person

SubClassOf: bfo:object_aggregate