omrse import.owl
type: Ontology
version IRI: omrse import.owl
version info: 2022-08-15

characteristic of
type: ObjectProperty
sub property of: RO_0002314
type: FunctionalProperty
IAO_0000111: inheres in
IAO_0000112: this fragility inheres in this vase
IAO_0000112: this fragility is a characteristic of this vase
IAO_0000112: this red color inheres in this apple
IAO_0000112: this red color is a characteristic of this apple
IAO_0000115: a relation between a specifically dependent continuant (the characteristic) and any other entity (the bearer), in which the characteristic depends on the bearer for its existence.
IAO_0000115: a relation between a specifically dependent continuant (the dependent) and an independent continuant (the bearer), in which the dependent specifically depends on the bearer for its existence
IAO_0000116: A dependent inheres in its bearer at all times for which the dependent exists.
IAO_0000118: inheres_in
RO_0001900: RO_0001901
source: omrse.owl
comment: Note that this relation was previously called "inheres in", but was changed to be called "characteristic of" because BFO2 uses "inheres in" in a more restricted fashion. This relation differs from BFO2:inheres_in in two respects: (1) it does not impose a range constraint, and thus it allows qualities of processes, as well as of information entities, whereas BFO2 restricts inheres_in to only apply to independent continuants (2) it is declared functional, i.e. something can only be a characteristic of one thing.
label: inheres in

material entity
type: Class
subclass of: BFO_0000004
BFO_0000179: material
BFO_0000180: MaterialEntity
IAO_0000112: a flame
IAO_0000112: a forest fire
IAO_0000112: a human being
IAO_0000112: a hurricane
IAO_0000112: a photon
IAO_0000112: a puff of smoke
IAO_0000112: a sea wave
IAO_0000112: a tornado
IAO_0000112: an aggregate of human beings.
IAO_0000112: an energy wave
IAO_0000112: an epidemic
IAO_0000112: the undetached arm of a human being
IAO_0000115: An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time.
IAO_0000116: BFO 2 Reference: Material entities (continuants) can preserve their identity even while gaining and losing material parts. Continuants are contrasted with occurrents, which unfold themselves in successive temporal parts or phases [60
IAO_0000116: BFO 2 Reference: Object, Fiat Object Part and Object Aggregate are not intended to be exhaustive of Material Entity. Users are invited to propose new subcategories of Material Entity.
IAO_0000116: BFO 2 Reference: ‘Matter’ is intended to encompass both mass and energy (we will address the ontological treatment of portions of energy in a later version of BFO). A portion of matter is anything that includes elementary particles among its proper or improper parts: quarks and leptons, including electrons, as the smallest particles thus far discovered; baryons (including protons and neutrons) at a higher level of granularity; atoms and molecules at still higher levels, forming the cells, organs, organisms and other material entities studied by biologists, the portions of rock studied by geologists, the fossils studied by paleontologists, and so on.Material entities are three-dimensional entities (entities extended in three spatial dimensions), as contrasted with the processes in which they participate, which are four-dimensional entities (entities extended also along the dimension of time).According to the FMA, material entities may have immaterial entities as parts – including the entities identified below as sites; for example the interior (or ‘lumen’) of your small intestine is a part of your body. BFO 2.0 embodies a decision to follow the FMA here.
IAO_0000412: ido.owl
IAO_0000412: omrse.owl
IAO_0000600: A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002])
IAO_0000601: Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])
IAO_0000601: every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])
IAO_0000602: (forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002]
IAO_0000602: (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002]
IAO_0000602: (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002]
source: omrse.owl

Axiom
annotated source: material entity
annotated property: IAO_0000600
annotated target: A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002])
IAO_0010000: http://purl.obolibrary.org/obo/bfo/axiom/019-002

Axiom
annotated source: material entity
annotated property: IAO_0000601
annotated target: Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])
IAO_0010000: http://purl.obolibrary.org/obo/bfo/axiom/020-002

Axiom
annotated source: material entity
annotated property: IAO_0000601
annotated target: every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])
IAO_0010000: http://purl.obolibrary.org/obo/bfo/axiom/021-002

Axiom
annotated source: material entity
annotated property: IAO_0000602
annotated target: (forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002]
IAO_0010000: http://purl.obolibrary.org/obo/bfo/axiom/019-002

Axiom
annotated source: material entity
annotated property: IAO_0000602
annotated target: (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002]
IAO_0010000: http://purl.obolibrary.org/obo/bfo/axiom/021-002

Axiom
annotated source: material entity
annotated property: IAO_0000602
annotated target: (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002]
IAO_0010000: http://purl.obolibrary.org/obo/bfo/axiom/020-002

obsolete role in human social processes
type: Class
subclass of: ObsoleteClass
IAO_0000115: A role inhering in an entity realized by social interactions in human society.
IAO_0000117: Mathias Brochhausen
IAO_0000412: http://purl.obolibrary.org/obo/omrse.owl
source: omrse.owl
comment: Previous definition: A role played by an entity in human social processes.
deprecated: true

material entity role
type: Class
equivalent class: Class
  intersection of: BFO_0000023
  intersection of: Restriction
    on property: characteristic of
    some values from: material entity
subclass of: BFO_0000023
subclass of: Restriction
  on property: characteristic of
  some values from: material entity
subclass of: Restriction
  on property: characteristic of
  all values from: material entity
source: omrse.owl

role in human social processes
type: Class
subclass of: material entity role
subclass of: Restriction
  on property: characteristic of
  all values from: material entity
IAO_0000115: A role inhering in an entity realized by social interactions in human society.
IAO_0000117: Matthew Diller
contributor: Mathias Brochhausen
source: omrse.owl
comment: Previous definition: A role played by an entity in human social processes.