Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
display
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The sources consistently define display by its function of presenting or exhibiting information to users, regardless of the specific physical implementation (LED, LCD, analog, digital, etc.).
Validation status
Why primitive (necessary only)
Reviewer notes
FOL theory & disjointness
First-order logic theory (generated)
Loading…
Disjoint with
▸
Expert review
Axiomatization steps
1
Identity-Giving Function
✓ done
InformationDisplayFunction → InformationDisplayProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent MeasurementProcess
LLM rationale:
The identity-giving function is the capacity to present information visually. Both sources emphasize this as the defining characteristic - ISO 15926 defines it as 'capable of displaying something' and POSC Caesar as 'intended for presenting information'. This distinguishes displays from other information-handling equipment like controllers or transmitters.
▸
Expert review
2
Genus Proximus
✓ done
Instrument · Assembly
▼
Genus (genus proximum)
Most specific superclass — may be a domain class like "Valve" or an IOF-Core root.
BFO/IOF-Core Root
bfo:Object branch
bfo:ObjectAggregate branch
bfo:ImmaterialEntity branch
LLM rationale:
Display is a specialized type of instrument that presents information to users. While not explicitly listed in parent_candidates, 'Instrument' is the most appropriate genus as displays are measurement/information presentation devices. The existing enriched 'Instrument' class with InstrumentationFunction is the correct supertype. Display differs from general instruments by specializing in visual information presentation rather than measurement or control.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.InformationDisplayFunction
▼
Conditions that distinguish
Display
from sibling classes under genus
Instrument.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the specialized function of visual information presentation. This goes beyond general instrumentation function to specifically present information for human perception, distinguishing it from instruments that measure, control, or transmit.
▸
Expert review
4
Necessary Parts
✓ done
no necessary parts
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
No component terms are provided in the Known Component Terms list, and the source definitions do not specify necessary internal parts at this universal level. Display subtypes (LED, LCD, etc.) would have specific components, but the universal Display class is defined functionally without mandating specific physical parts.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
InformationContentEntity → VisualIndication
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Displays receive information-bearing inputs (electrical signals, data streams) and transform them into visual outputs that humans can perceive and interpret. This is fundamentally a transduction process converting information from one form (electrical/digital) to another (visual).
▸
Expert review
More
Alternative labels
none
▼
Synonyms / alternative labels (comma-separated) — skos:altLabel
Language auto-detected on export (PT if the label contains accents, EN otherwise).
Properties as BFO qualities
no CFIHOS/DEXPI properties
▼
No CFIHOS/DEXPI properties found for this cluster.
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Display.
Write the restriction block in Turtle syntax (without the leading
rdfs:subClassOf).
Example: [ owl:onProperty :hasPart ; owl:someValuesFrom :Wellhead ]
Cross-standard divergences
none detected yet
▼
Click "Detect divergences" to analyse cross-standard disagreements for this cluster.
