classified by

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

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

Type: Object Property

SubProperty Of: denoted by

Domain: bfo:entity

Range: information content entity

Inverse Of: classifies

Definition

relation that holds between an entity y and an information content entity x when the information content entity designates a set whose members are all the entities of a particular type and y is a member of that set

Semi-Formal Definition:

x is ‘classified by’ c iff c classfies x

Explanatory Notes

See the explanatory note and detailed FOL formalization under classifies

Formal Axioms

First-Order Logic Definition

classifiedBy(x,c) ↔ classifies(c,x)

Description Logic

constr:classifiedBy ⊑ constr:denotedBy

domain: bfo:entity

range: constr:InformationContentEntity

inverse: constr:classifies

SubPropertyOf: constr:denotedBy

domain: bfo:entity

range: constr:InformationContentEntity

inverse: constr:classifies