Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
phase sequence meter
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
A phase sequence meter is defined by its specific measurement function - detecting the sequence in which instantaneous voltages reach maximum values on a polyphase system. This is a specialized measurement function that defines the instrument's identity, regardless of its physical implementation (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
PhaseSequenceMeasurementFunction → PhaseSequenceMeasurementProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent MeasurementProcess
LLM rationale:
The identity-giving function is to measure and indicate the phase sequence in polyphase electrical systems - specifically determining the order in which phase conductors reach their maximum instantaneous voltage. This is a specialized electrical measurement function distinct from general voltage or current measurement.
▸
Expert review
2
Genus Proximus
✓ done
Instrument · MaterialArtifact
▼
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:
Following the ISO 15926 hierarchy, the direct parent is 'ELECTRIC VARIABLE MEASURING INSTRUMENT'. This maps to ElectricMeasuringInstrument as the most specific appropriate superclass. While no instrument classes are yet enriched in our ontology, this is more specific than jumping directly to MaterialArtifact. An electric measuring instrument is a single causally unified artifact designed for electrical measurements.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.PhaseSequenceMeasurementFunction ⊓ ∃hasInput.InformationContentEntity
▼
Conditions that distinguish
Phase Sequence Meter
from sibling classes under genus
Instrument.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The key differentia is the specific PhaseSequenceMeasurementFunction and the requirement for polyphase input. This distinguishes it from all other electrical measuring instruments which focus on different electrical parameters or work with single-phase systems.
▸
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:
These parts are fundamental to any phase sequence meter: phase detection circuitry to analyze timing relationships, electrical connections to access the system, and indication means to communicate results.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
InformationContentEntity → VisualIndication
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Takes polyphase electrical signals and transforms the temporal phase relationships into an interpretable sequence indication without modifying the electrical power flow.
▸
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 Phase Sequence Meter.
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.
