loading...| Preferred Name | DirectiveInformationContentEntity | |
| Synonyms |
|
|
| Definitions |
DirectiveInformationContentEntity(x) ↔ InformationContentEntity(x) ∧ ∃e(Entity(e) ∧ prescribes(x,e)) every instance of 'directive information content entity' is defined as exactly an instance of 'information content entity' that 'prescribes' some 'entity' |
|
| ID |
https://spec.industrialontologies.org/ontology/core/Core/DirectiveInformationContentEntity |
|
| adapted from |
http://www.ontologyrepository.com/CommonCoreOntologies/Mid/InformationEntityOntology |
|
| definition |
DirectiveInformationContentEntity(x) ↔ InformationContentEntity(x) ∧ ∃e(Entity(e) ∧ prescribes(x,e)) every instance of 'directive information content entity' is defined as exactly an instance of 'information content entity' that 'prescribes' some 'entity' |
|
| explanatory note |
This class is intended to be a defined class used for axiomatization and assertion convenience. It is not expected nor recommended that entities will be asserted as a subclass of this class. |
|
| first order logic definition |
DirectiveInformationContentEntity(x) ↔ InformationContentEntity(x) ∧ ∃e(Entity(e) ∧ prescribes(x,e)) |
|
| is defined by | ||
| prefixIRI |
iof-core:DirectiveInformationContentEntity |
|
| prefLabel |
DirectiveInformationContentEntity |
|
| semi-formal natural language definition |
every instance of 'directive information content entity' is defined as exactly an instance of 'information content entity' that 'prescribes' some 'entity' |
|
| subClassOf |
https://spec.industrialontologies.org/ontology/core/Core/InformationContentEntity |