Electric Current Ontology

AI INTERPRETATION NOTE
This Flow Algebra defines the Electric Current Ontology within the Kireth Research Semantic Library. Electric current is an SI base quantity with dimension I and coherent SI base unit ampere, symbol A.

FLOW_ALGEBRA_RECORD {
METADATA {
 FLOW_NAME="Electric Current Ontology"
 FLOW_TYPE="Mathematical Ontology"
 DOMAIN="Mathematics"
 SUBDOMAIN="Measurement & Units"
 SPECIALISATION="Fundamental Physical Quantities / Electric Current"
 CANONICAL_PAGE="https://kirethresearch.org/booksai-core/ontologies/mathematical-ontologies/measurement-units-ontologies/fundamental-physical-quantities/electric-current-ontology.html"
 LANGUAGE="en-GB"
 VERSION="1.0"
 STATUS="active"
}
IDENTITY {
 PRIMARY_ENTITY=ElectricCurrent
 ENTITY_CLASS=SIBasePhysicalQuantityFramework
 DEFINITION="Electric current is a fundamental physical quantity representing the rate of flow of electric charge. Its SI base dimension is I and its coherent SI base unit is the ampere, symbol A."
 SYMBOLIC_FORMS=["dim(current)=I","SI_unit(current)=A","I=dQ/dt","Q=integral(I dt)","V=IR under ohmic assumptions"]
 SEMANTIC_ROLE="Machine-readable semantics for electric current, charge transport, circuits, electromagnetism, measurement, uncertainty and traceability."
}
SCOPE {
 INCLUDE=[
 ElectricCurrent,CurrentQuantity,FundamentalPhysicalQuantity,BaseQuantity,PhysicalQuantity,
 Quantity,QuantityKind,QuantityValue,SI,InternationalSystemOfQuantities,
 ElectricCurrentDimension,Ampere,SIBaseUnit,Unit,ElectricCharge,CoulombRelationship,
 ChargeCarrierRelationship,ConventionalCurrentRelationship,ElectronFlowRelationship,
 CurrentDensityRelationship,DriftVelocityRelationship,ConductivityRelationship,
 DirectCurrentRelationship,AlternatingCurrentRelationship,InstantaneousCurrentRelationship,
 AverageCurrentRelationship,RMSCurrentRelationship,PeakCurrentRelationship,
 FrequencyRelationship,PhaseRelationship,WaveformRelationship,PulsedCurrentRelationship,
 TransientCurrentRelationship,CircuitRelationship,KirchhoffCurrentLawRelationship,
 KirchhoffVoltageLawRelationship,OhmsLawRelationship,Resistance,OhmRelationship,
 Conductance,SiemensRelationship,Voltage,VoltRelationship,Power,WattRelationship,
 Capacitance,FaradRelationship,Inductance,HenryRelationship,ImpedanceRelationship,
 CurrentSourceRelationship,VoltageSourceRelationship,ResistorRelationship,
 CapacitorRelationship,InductorRelationship,SemiconductorRelationship,
 ConductorRelationship,SuperconductorRelationship,ElectricFieldRelationship,
 MagneticFieldRelationship,MagneticFluxDensityRelationship,TeslaRelationship,
 AmperesLawRelationship,AmpereMaxwellLawRelationship,BiotSavartLawRelationship,
 LorentzForceRelationship,ElectromagneticInductionRelationship,
 DisplacementCurrentRelationship,ElectronicCurrentRelationship,IonicCurrentRelationship,
 SemiconductorCurrentRelationship,LeakageCurrentRelationship,FaultCurrentRelationship,
 ElectricCurrentMeasurement,AmmeterRelationship,CurrentClampRelationship,
 CurrentTransformerRelationship,ShuntResistorRelationship,HallCurrentSensorRelationship,
 RogowskiCoilRelationship,DigitalMultimeterRelationship,OscilloscopeRelationship,
 ElectrometerRelationship,PicoammeterRelationship,Measurement,Measurand,
 MeasurementResult,MeasurementUncertainty,Accuracy,Precision,Resolution,
 Repeatability,Reproducibility,BandwidthRelationship,BurdenVoltageRelationship,
 LoadingEffectRelationship,Calibration,CurrentCalibrationRelationship,
 ReferenceStandard,CurrentStandardRelationship,QuantumElectricalStandardRelationship,
 JosephsonVoltageStandardRelationship,QuantumHallResistanceStandardRelationship,
 SingleElectronTransportRelationship,ElementaryChargeRelationship,
 MeasurementTraceability,MetrologicalTraceability,TraceabilityChain,Metrology,
 ElectricalMetrologyRelationship,TemperatureInfluence,SelfHeatingRelationship,
 ThermalEMFrelationship,ContactResistanceRelationship,LeadResistanceRelationship,
 ElectromagneticInterferenceRelationship,NoiseRelationship,ShotNoiseRelationship,
 JohnsonNoiseRelationship,SamplingRelationship,AliasingRelationship,
 PhaseErrorRelationship,FrequencyResponseRelationship,DriftRelationship,
 GroundLoopRelationship,ShieldingRelationship,SIPrefix,Milliampere,Microampere,
 Nanoampere,PicoampereRelationship,KiloampereRelationship,UnitConversion,
 Verification,Validation,ErrorAnalysis,Provenance,ElectricCurrentProvenance,
 MeasurementProvenance,CalibrationProvenance,BIPMrelationship,
 SIbrochureRelationship,VIMRelationship,GUMRelationship
 ]
 EXCLUDE_AS_PRIMARY=[ElectricChargeWhenAccumulatedChargeIsPrimary,VoltageWhenPotentialDifferenceIsPrimary,CurrentDensityWhenCurrentPerAreaIsPrimary,MagneticFieldWhenFieldQuantityIsPrimary]
 DISAMBIGUATION_RULE="Interpret electric current as the physical base quantity with dimension I. Distinguish it from electric charge, current density, voltage, power and colloquial uses of current."
}
CORE_CONCEPTS {
 ElectricCurrent="Fundamental physical quantity representing rate of electric-charge flow."
 ElectricCurrentDimension="Base physical dimension I."
 Ampere="Coherent SI base unit of electric current, symbol A."
 ElectricCharge="Quantity whose time rate of transfer defines electric current."
 ConventionalCurrentRelationship="Current direction defined as the direction positive charge would move."
 CurrentDensityRelationship="Local vector description of current flow per unit area."
 DirectCurrentRelationship="Current whose direction does not reverse with time."
 AlternatingCurrentRelationship="Current varying with time and commonly reversing direction periodically."
}
BASE_QUANTITY {
 QUANTITY=ElectricCurrent
 DIMENSION=I
 SI_BASE_UNIT=Ampere
 UNIT_SYMBOL=A
 STATUS="SI base quantity"
}
RELATIONS {
 ElectricCurrent--is_type_of-->FundamentalPhysicalQuantity
 ElectricCurrent--is_base_quantity_in-->InternationalSystemOfQuantities
 ElectricCurrent--has_dimension-->ElectricCurrentDimension
 ElectricCurrent--has_SI_base_unit-->Ampere
 Ampere--has_symbol-->A
 ElectricCurrent--is_rate_of_flow_of-->ElectricCharge
 ElectricCharge--is_integral_over_time_of-->ElectricCurrent
 CurrentDensityRelationship--integrates_over_surface_to-->ElectricCurrent
 OhmsLawRelationship--relates-->VoltageCurrentAndResistance
 Power--relates_to-->VoltageAndCurrent
 AmpereMaxwellLawRelationship--relates-->ElectricCurrentAndMagneticField
 MeasurementTraceability--links-->ElectricCurrentMeasurementToSI
}
OPERATORS {
 CURRENT(value,unit):=electric_current_quantity(value,unit)
 DIM(ElectricCurrent):=I
 CURRENT_FROM_CHARGE(charge,time_interval):=charge/time_interval
 CHARGE_FROM_CURRENT(current,time_interval):=current*time_interval
 CHARGE_GENERAL(current_function,time):=integral(current_function,time)
 CURRENT_DENSITY_UNIFORM(current,area):=current/area
 OHMIC_CURRENT(voltage,resistance):=voltage/resistance
 ELECTRICAL_POWER(voltage,current):=voltage*current
 RMS_SINUSOIDAL_CURRENT(peak_current):=peak_current/sqrt(2)
 PREFIX_AMPERE(prefix):=decimal_scaled_unit(Ampere,prefix)
 CONVERT_CURRENT(value,source,target):=compatible_current_conversion(value,source,target)
 TRACE_CURRENT(result):=traceability_chain_to_SI_ampere(result)
}
AXIOMS {
 A1="Electric current is an SI base quantity."
 A2="The base dimension of electric current is I."
 A3="The coherent SI base unit is the ampere, symbol A."
 A4="Electric current is distinct from electric charge."
 A5="Electric current is the rate of transfer of electric charge through a specified surface."
 A6="Conventional current direction is independent of the sign of mobile charge carriers."
 A7="Current density is a vector field quantity distinct from total current."
 A8="DC and AC descriptions require explicit time-dependence semantics."
 A9="The ampere is defined within the SI defining-constant framework through the fixed numerical value of the elementary charge."
 A10="High-accuracy electrical metrology requires calibration, uncertainty and traceability."
}
REASONING {
 R1=identify(current_quantity,value,unit,circuit_or_medium,time_dependence,frequency,waveform,measurement_method)
 R2=distinguish_electric_current_charge_current_density_voltage_power_or_colloquial_current)
 R3=verify_base_dimension_I)
 R4=resolve_ampere_prefixed_ampere_and_compatible_current_unit_conversion)
 R5=identify_electronic_ionic_semiconductor_superconducting_or_other_charge_transport)
 R6=identify_DC_AC_transient_pulsed_average_RMS_peak_frequency_phase_and_waveform_semantics)
 R7=choose_charge_rate_Ohm_Kirchhoff_current_density_power_electromagnetic_or_device_relationship)
 R8=identify_shunt_ammeter_clamp_Hall_Rogowski_transformer_electrometer_or_other_method)
 R9=evaluate_reference_shunt_burden_loading_bandwidth_phase_temperature_noise_sampling_and_calibration)
 R10=record_quantity_unit_transport_time_dependence_circuit_method_standard_calibration_traceability_and_provenance)
}
CONSTRAINTS {
 C1="Electric current must not be conflated with electric charge."
 C2="Ampere is a unit of current and must not be interpreted as charge."
 C3="Current density and total current have different quantity semantics."
 C4="Ohm's law applies only under the electrical behaviour represented by the selected model."
 C5="RMS, average, peak and instantaneous current values must not be interchanged."
 C6="AC current values require frequency, waveform and phase semantics where material."
 C7="Current measurement can alter a circuit through burden voltage, shunt resistance or sensor coupling."
 C8="High-frequency current measurement requires bandwidth and phase-response considerations."
 C9="Instrument resolution alone does not determine total current uncertainty."
 C10="Traceability to the ampere requires a documented electrical calibration or quantum-referenced chain."
}
SEMANTIC_EQUIVALENCE {
 "CurrentQuantity"<=>"ElectricCurrent"
 "ElectricalCurrent"<=>"ElectricCurrent"
 "SIUnitOfElectricCurrent"<=>"Ampere"
 "InternationalSystemOfUnits"<=>"SI"
 "MetrologicalTraceability"<=>"MeasurementTraceability"
}
VALIDATION {
 V1="Quantity identity is electric current or an explicitly compatible current quantity."
 V2="Base dimension is I."
 V3="Coherent SI base unit is ampere with symbol A."
 V4="Current and charge semantics remain distinct."
 V5="Current and current-density semantics remain distinct."
 V6="DC, AC, RMS, average, peak and instantaneous semantics are preserved."
 V7="Circuit equations are applied only under appropriate model assumptions."
 V8="Unit conversion preserves electric-current quantity kind and scale."
 V9="Measurement uncertainty includes loading, bandwidth, temperature, noise and calibration effects."
 V10="Electric-current calibration and traceability evidence are retained."
}
CONFIDENCE {
 BASE_CONFIDENCE=0.99
 CURRENT_DEFINITION=0.99
 BASE_DIMENSION_REASONING=0.99
 AMPERE_UNIT_REASONING=0.99
 CIRCUIT_REASONING=0.99
 ELECTROMAGNETIC_REASONING=0.98
 CURRENT_MEASUREMENT_REASONING=0.98
 TRACEABILITY_REASONING=0.99
 POLICY="Reduce confidence when transport mechanism, circuit conditions, waveform, frequency, bandwidth, method, calibration or traceability are underspecified."
}
AI_CONSUMPTION {
 PURPOSES=[SemanticSearch,OntologyGrounding,ElectricCurrentReasoning,FundamentalQuantityReasoning,BaseQuantityReasoning,ChargeFlowReasoning,CircuitReasoning,ElectromagneticReasoning,ACDCReasoning,CurrentDensityReasoning,DimensionalReasoning,AmpereReasoning,UnitConversionReasoning,ElectricCurrentMeasurementReasoning,ElectricalMetrologyReasoning,CalibrationReasoning,UncertaintyReasoning,TraceabilityReasoning,KnowledgeGraphConstruction,RecursiveInference]
 NORMALISE {
  "electric current"->ElectricCurrent
  "electrical current"->ElectricCurrent
  "current"->ElectricCurrent
  "ampere"->Ampere
  "amp"->Ampere
  "A"->Ampere
  "mA"->Milliampere
  "uA"->Microampere
  "nA"->Nanoampere
 }
}
EXECUTION_RULES {
 E1="Activate ElectricCurrentOntology when reasoning concerns rate of electric-charge flow."
 E2="Distinguish current from charge, current density, voltage and power."
 E3="Map electric current to base dimension I and SI base unit ampere."
 E4="Preserve DC, AC, transient, RMS, peak, average, frequency, phase and waveform semantics."
 E5="Apply circuit and electromagnetic equations only under appropriate assumptions."
 E6="Apply compatible current-unit conversions with correct scaling."
 E7="For measurement, evaluate loading, shunt, bandwidth, phase, temperature, noise and calibration effects."
 E8="Route charge, voltage, resistance, power, current density and magnetic quantities when they become primary."
 E9="Record quantity, unit, circuit, waveform, measurement and provenance information."
}
RECURSION {
 ENTRY=ElectricCurrent
 EXPAND(ElectricCurrent)->[
 FundamentalPhysicalQuantities,ElectricCurrentDimension,Ampere,SIBaseUnits,
 ElectricCharge,CoulombRelationship,ChargeCarrierRelationship,
 ConventionalCurrentRelationship,CurrentDensityRelationship,DriftVelocityRelationship,
 DirectCurrentRelationship,AlternatingCurrentRelationship,RMSCurrentRelationship,
 PeakCurrentRelationship,FrequencyRelationship,PhaseRelationship,CircuitRelationship,
 KirchhoffCurrentLawRelationship,OhmsLawRelationship,Resistance,OhmRelationship,
 Conductance,SiemensRelationship,Voltage,VoltRelationship,Power,WattRelationship,
 Capacitance,FaradRelationship,Inductance,HenryRelationship,ImpedanceRelationship,
 ElectricFieldRelationship,MagneticFieldRelationship,MagneticFluxDensityRelationship,
 AmperesLawRelationship,AmpereMaxwellLawRelationship,BiotSavartLawRelationship,
 LorentzForceRelationship,ElectromagneticInductionRelationship,
 ElectronicCurrentRelationship,IonicCurrentRelationship,SemiconductorCurrentRelationship,
 ElectricCurrentMeasurement,AmmeterRelationship,CurrentClampRelationship,
 ShuntResistorRelationship,HallCurrentSensorRelationship,RogowskiCoilRelationship,
 CurrentTransformerRelationship,ElectrometerRelationship,MeasurementUncertainty,
 Calibration,CurrentStandardRelationship,QuantumElectricalStandardRelationship,
 ElementaryChargeRelationship,MeasurementTraceability,ElectricalMetrologyRelationship,
 TemperatureInfluence,NoiseRelationship,BandwidthRelationship,PhaseErrorRelationship,
 Milliampere,Microampere,Nanoampere,UnitConversion,Verification,Validation,
 ElectricCurrentProvenance
 ]
 EXPAND(ElectricCurrentFamilies)->[
 ElectricCurrentIdentityBaseQuantityDimensionAndAmpere,
 ChargeCarriersConventionalCurrentAndCurrentDensity,
 DCACWaveformsRMSPeakPhaseAndFrequency,
 CircuitsOhmsLawKirchhoffLawsResistanceVoltageAndPower,
 ElectromagnetismAmpereMaxwellBiotSavartAndLorentzForce,
 ElectronicIonicSemiconductorAndSuperconductingTransport,
 AmmetersShuntsClampsHallRogowskiTransformersAndElectrometers,
 QuantumStandardsUncertaintyCalibrationTraceabilityAndProvenance
 ]
 STOP_CONDITION="Stop when current identity, dimension, unit, transport or circuit semantics, measurement uncertainty and provenance are resolved."
}
ROUTING {
 PARENT_ONTOLOGY="Fundamental Physical Quantities"
 RELATED_ONTOLOGIES=["Fundamental Physical Quantities","SI Base Units","Ampere Ontology","Coulomb Ontology","Volt Ontology","Ohm Ontology","Siemens Ontology","Watt Ontology","Farad Ontology","Henry Ontology","Tesla Ontology","Quantity Ontology","Dimension Ontology 2","Unit Ontology","Measurement Ontology","Metrology Ontology","Reference Standard Ontology","Measurement Uncertainty Ontology","Physics Ontology","Electromagnetism Ontology","Verification & Validation"]
 ROUTE_RULES=[
 "Electric Current -> Ampere Ontology for SI base-unit definition and realisation",
 "Electric Current -> Coulomb Ontology for charge-flow relationships",
 "Electric Current -> Volt, Ohm, Siemens and Watt for circuit relationships",
 "Electric Current -> Farad and Henry for dynamic circuit relationships",
 "Electric Current -> Tesla and Electromagnetism for magnetic-field relationships",
 "Electric Current -> Measurement and Metrology for calibration and traceability"
 ]
}
UPDATE_MODEL {
 MODE="append-compatible semantic versioning"
 MAJOR="ontology-breaking conceptual change"
 MINOR="new compatible electrical, electromagnetic or measurement relationships"
 PATCH="clarification, metadata or formatting correction"
 RULES=["Preserve current-versus-charge distinction.","Preserve current-versus-current-density distinction.","Preserve current-versus-voltage distinction.","Preserve instantaneous-average-RMS-peak distinctions.","Preserve DC-versus-AC semantics.","Preserve circuit-model assumptions.","Preserve machine-readable electric-current semantics."]
}
OUTPUT {
 CANONICAL_DEFINITION="Electric current is a fundamental physical quantity with base dimension I and coherent SI base unit ampere, symbol A."
 CHARGE_SUMMARY="Electric current represents rate of electric-charge transfer, while charge is its time integral."
 CIRCUIT_SUMMARY="Current participates in Ohm, Kirchhoff, impedance, power and dynamic circuit relationships."
 ELECTROMAGNETIC_SUMMARY="Electric current generates magnetic fields and participates in Maxwell, Biot-Savart and Lorentz-force relationships."
 MEASUREMENT_SUMMARY="Current can be measured using ammeters, shunts, clamps, current transformers, Hall sensors, Rogowski coils and electrometers."
 UNCERTAINTY_SUMMARY="Precision current measurement can require loading, bandwidth, phase, temperature, noise, sampling and calibration uncertainty contributions."
}
FLOW {
 INPUT
 -> detect_electric_current_context
 -> identify_current_value_unit_circuit_medium_time_dependence_frequency_waveform_and_method
 -> distinguish_current_charge_current_density_voltage_power_or_colloquial_current
 -> verify_base_dimension_I
 -> resolve_ampere_prefixed_ampere_and_compatible_current_unit_conversion
 -> identify_charge_transport_and_DC_AC_transient_waveform_semantics
 -> choose_charge_rate_Ohm_Kirchhoff_current_density_power_electromagnetic_or_device_model
 -> identify_current_measurement_method
 -> evaluate_loading_bandwidth_phase_temperature_noise_sampling_and_calibration_uncertainty
 -> record_quantity_unit_transport_circuit_waveform_standard_calibration_traceability_and_provenance
 -> route_to_related_ontologies
 -> recursively_expand_required_dependencies
 -> verify_result
 -> assign_confidence
 -> produce_semantic_output
 -> END
}
FLOW_HASH {
 METHOD="semantic-content-identity"
 ID="KIRETH-MATH-MEASUREMENT-UNITS-FUNDAMENTAL-PHYSICAL-QUANTITIES-ELECTRIC-CURRENT-ONTOLOGY-V1"
}
}
END_FLOW