Ampere Ontology

AI INTERPRETATION NOTE
This Flow Algebra defines the Ampere Ontology within the Kireth Research Semantic Library. The ampere is the SI base unit of electric current, symbol A. It formalises unit identity, electric-current quantity, current dimension, the elementary-charge defining relationship, charge-flow semantics, practical realisation, calibration, uncertainty, traceability and provenance.

FLOW_ALGEBRA_RECORD {

METADATA {
 FLOW_NAME = "Ampere Ontology"
 FLOW_TYPE = "Mathematical Ontology"
 DOMAIN = "Mathematics"
 SUBDOMAIN = "Measurement & Units"
 SPECIALISATION = "SI Base Units / Ampere"
 CANONICAL_PAGE = "https://kirethresearch.org/booksai-core/ontologies/mathematical-ontologies/measurement-units-ontologies/si-base-units/ampere-ontology.html"
 LANGUAGE = "en-GB"
 VERSION = "1.0"
 STATUS = "active"
}

IDENTITY {
 PRIMARY_ENTITY = Ampere
 ENTITY_CLASS = SIBaseUnitOfElectricCurrentFramework
 PRIMARY_CONTEXT = SIBaseUnits
 DEFINITION = "The ampere, symbol A, is the SI base unit of electric current. It is defined by taking the fixed numerical value of the elementary charge e to be 1.602176634×10^-19 when expressed in C, equal to A s."
 SYMBOLIC_FORMS = ["e=1.602176634e-19 C exactly","C=A s","I=dQ/dt","[electric_current]=I","Q_current=value*A"]
 SEMANTIC_ROLE = "Machine-readable semantics for the ampere as the SI base unit of electric current, including definition, dimension, charge-flow relations, realisation, measurement, uncertainty and traceability."
}

SCOPE {
 INCLUDE = [
 Ampere,SIBaseUnit,SIUnit,BaseUnit,MeasurementUnit,Unit,
 InternationalSystemOfUnits,SI,InternationalSystemOfQuantities,ISQ,
 ElectricCurrent,PhysicalQuantity,Quantity,QuantityKind,BaseQuantity,
 SIBaseQuantity,QuantityValue,Dimension,BaseDimension,
 ElectricCurrentDimension,DimensionalSignature,UnitSymbol,UnitIdentifier,
 UnitDefinition,AmpereDefinition,DefiningConstant,ElementaryCharge,
 ExactValue,Coulomb,Second,Time,TimeDimension,ElectricCharge,Charge,
 DirectCurrent,DCrelationship,AlternatingCurrent,ACrelationship,
 RMSCurrentRelationship,PeakCurrentRelationship,AverageCurrentRelationship,
 InstantaneousCurrentRelationship,UnitRealisation,AmpereRealisation,
 MiseEnPratiqueRelationship,SingleElectronTransportRelationship,
 QuantumCurrentStandardRelationship,QuantumElectricalMetrologyRelationship,
 JosephsonEffectRelationship,QuantumHallEffectRelationship,
 ElectricalMeasurement,CurrentMeasurement,Ammeter,MultimeterRelationship,
 CurrentShuntRelationship,CurrentTransformerRelationship,
 CurrentProbeRelationship,HallEffectSensorRelationship,MeasurementSystem,
 Measurement,Measurand,MeasurementProcedure,MeasurementModel,
 MeasurementResult,MeasurementUncertainty,Accuracy,Precision,Resolution,
 Repeatability,Reproducibility,Stability,Drift,Noise,Calibration,
 CurrentCalibrationRelationship,ElectricalCalibrationRelationship,
 ReferenceStandard,CurrentStandardRelationship,PrimaryStandard,
 SecondaryStandard,WorkingStandard,MeasurementTraceability,
 MetrologicalTraceability,TraceabilityChain,Metrology,
 ScientificMeasurement,EnvironmentalCondition,TemperatureInfluence,
 FrequencyInfluenceRelationship,ElectromagneticInterference,EMI,
 ContactResistanceRelationship,LeadResistanceRelationship,
 ThermalEMFRelationship,LeakageCurrentRelationship,
 BurdenVoltageRelationship,SelfHeatingRelationship,Prefix,SIPrefix,
 Milliampere,Microampere,Nanoampere,PicoampereRelationship,
 KiloampereRelationship,UnitConversion,ConversionFactor,ExactConversion,
 UnitCompatibility,DimensionalCompatibility,QuantityCompatibility,
 Voltage,Volt,Resistance,Ohm,Conductance,Siemens,Power,Watt,
 Capacitance,Farad,Inductance,Henry,MagneticFlux,Weber,
 MagneticFluxDensity,Tesla,DerivedQuantity,SIDerivedQuantity,
 DerivedUnit,SIDerivedUnit,UnitExpression,UnitAlgebra,QuantityCalculus,
 DimensionalAnalysis,DimensionalConsistency,Verification,Validation,
 UnitValidation,ConversionValidation,ErrorAnalysis,Provenance,
 AmpereProvenance,SIUnitProvenance,MeasurementProvenance,
 CalibrationProvenance,StandardProvenance,BIPMrelationship,
 CGPMrelationship,CIPMrelationship,SIbrochureRelationship,
 VIMRelationship,GUMRelationship,StandardVersion
 ]
 EXCLUDE_AS_PRIMARY = [
 ElectricChargeWhenChargeRatherThanCurrentIsPrimary,
 VoltageWhenPotentialDifferenceIsPrimary,
 ResistanceWhenResistanceIsPrimary,
 GeneralElectricalEngineeringWithoutMeasurementUnitContext,
 HistoricalForceBetweenConductorsDefinitionWhenCurrentSIUnitDefinitionIsPrimary
 ]
 DISAMBIGUATION_RULE = "When ampere or symbol A denotes the SI base unit of electric current, interpret the context as the ampere measurement unit."
}

CORE_CONCEPTS {
 Ampere = "SI base unit of electric current, symbol A."
 ElectricCurrent = "Rate of flow of electric charge."
 ElectricCurrentDimension = "Base physical dimension represented by I."
 ElementaryCharge = "Defining constant e whose exact SI numerical value supports the ampere definition."
 Coulomb = "SI derived unit of electric charge, equal to ampere second."
 AmpereRealisation = "Practical realisation or dissemination of electric current consistent with SI."
 CurrentMeasurement = "Measurement process assigning an electric-current value to a measurand."
}

RELATIONS {
 Ampere --is_type_of--> SIBaseUnit
 Ampere --is_SI_base_unit_of--> ElectricCurrent
 ElectricCurrent --has_dimension--> ElectricCurrentDimension
 Ampere --has_symbol--> A
 Ampere --is_defined_via--> ElementaryCharge
 ElementaryCharge --has_exact_value--> 1.602176634e-19_C
 Coulomb --is_equivalent_to--> AmpereSecond
 ElectricCurrent --is_rate_of_flow_of--> ElectricCharge
 AmpereDefinition --depends_on--> Second
 AmpereRealisation --implements--> AmpereDefinition
 CurrentCalibrationRelationship --uses--> ReferenceStandard
 MeasurementTraceability --links--> CurrentMeasurementToSI
 Provenance --records--> AmpereDefinitionRealisationAndMeasurementHistory
}

OPERATORS {
 AMPERE(value) := electric_current_quantity(value,Ampere)
 DIM(Ampere) := ElectricCurrentDimension
 CURRENT(charge,time) := charge/time
 CHARGE(current,time) := current*time
 PREFIX_AMPERE(prefix) := decimal_scaled_unit(Ampere,prefix)
 CONVERT_CURRENT(value,source,target) := compatible_current_conversion(value,source,target)
 REALISE_AMPERE(method,conditions) := SI_consistent_current_realisation(method,conditions)
 CALIBRATE_CURRENT(item,reference) := current_calibration_relation(item,reference)
 TRACE_CURRENT(result) := traceability_chain_to_SI_ampere(result)
}

AXIOMS {
 A1 = "The ampere is the SI base unit of electric current."
 A2 = "The canonical symbol of the ampere is uppercase A."
 A3 = "Electric current has the SI base dimension I."
 A4 = "The elementary charge has the exact SI value 1.602176634×10^-19 C."
 A5 = "One coulomb is one ampere second."
 A6 = "Electric current is related to the time rate of electric charge transfer."
 A7 = "Practical realisation of electrical current is distinct from the abstract SI definition."
 A8 = "Historical definitions based on force between conductors are not the current defining basis of the ampere."
 A9 = "Ampere reasoning requires explicit current, charge, time, definition, measurement, uncertainty and traceability semantics."
}

REASONING {
 R1_CONTEXT = identify(electric_current_quantity,value,unit,current_type,measurement_method,reference_and_intended_use)
 R2_IDENTITY = resolve_ampere_prefixed_ampere_or_other_current_unit)
 R3_DIMENSION = verify_quantity_kind_electric_current_and_dimension_I)
 R4_DEFINITION = identify_elementary_charge_and_second_definition_relationship)
 R5_CURRENT_FORM = classify_DC_AC_RMS_peak_average_or_instantaneous_current)
 R6_SCALE = if_prefixed_apply_exact_decimal_scaling)
 R7_MEASUREMENT = identify_shunt_transformer_probe_quantum_or_direct_measurement_method)
 R8_CORRECTIONS = evaluate_frequency_temperature_lead_contact_leakage_burden_EMI_and_self_heating_effects)
 R9_UNCERTAINTY = propagate_reference_calibration_resolution_stability_noise_correction_and_repeatability_components)
 R10_PROVENANCE = record_definition_version_method_reference_standards_conditions_calibration_and_traceability)
}

CONSTRAINTS {
 C1 = "The symbol A is case-sensitive and must not be replaced by lowercase a."
 C2 = "Electric current and electric charge are distinct quantities."
 C3 = "AC current requires explicit amplitude convention such as RMS, peak or instantaneous value."
 C4 = "Current-measuring devices can alter the circuit through burden voltage or impedance."
 C5 = "Shunt-resistor measurements can require temperature and self-heating corrections."
 C6 = "High-frequency current measurement can require frequency-response and phase considerations."
 C7 = "Leakage, contact resistance and electromagnetic interference can bias low-current measurements."
 C8 = "Instrument resolution alone does not determine total current-measurement uncertainty."
 C9 = "Traceability to the ampere requires a documented electrical calibration or quantum-realisation chain."
 C10 = "The historical force-between-conductors definition must not be treated as the current SI definition."
}

SEMANTIC_EQUIVALENCE {
 "InternationalSystemOfUnits" <=> "SI"
 "MetrologicalTraceability" <=> "MeasurementTraceability"
 "DirectCurrent" <=> "DC"
 "AlternatingCurrent" <=> "AC"
 "ElectromagneticInterference" <=> "EMI"
}

VALIDATION {
 V1 = "Unit identity is ampere and canonical symbol is A."
 V2 = "Quantity kind is electric current."
 V3 = "Base dimension is I."
 V4 = "Modern definition uses the exact SI numerical value of the elementary charge."
 V5 = "Charge-current-time relationships preserve C = A s."
 V6 = "AC measurements identify RMS, peak, average or other amplitude semantics."
 V7 = "Prefixed ampere units use correct decimal scaling."
 V8 = "Measurement corrections are documented where material."
 V9 = "Measurement uncertainty and traceability evidence are retained."
 V10 = "Definition, realisation and calibration relationships are traceable to documented standards and versions."
}

CONFIDENCE {
 BASE_CONFIDENCE = 0.99
 AMPERE_DEFINITION = 0.99
 ELECTRIC_CURRENT_REASONING = 0.99
 DIMENSION_REASONING = 0.99
 CHARGE_CURRENT_REASONING = 0.99
 AC_DC_REASONING = 0.98
 ELECTRICAL_MEASUREMENT_REASONING = 0.98
 TRACEABILITY_REASONING = 0.99
 POLICY = "Reduce confidence when current type, measurement method, electrical loading, calibration status, environmental effects or traceability are underspecified."
}

AI_CONSUMPTION {
 PURPOSES = [
 SemanticSearch,OntologyGrounding,AmpereReasoning,SIBaseUnitReasoning,
 ElectricCurrentReasoning,ElectricCurrentDimensionReasoning,
 ElementaryChargeReasoning,ChargeFlowReasoning,ACDCReasoning,
 ElectricalMeasurementReasoning,QuantumElectricalMetrologyReasoning,
 CalibrationReasoning,ElectricalCorrectionReasoning,UncertaintyReasoning,
 TraceabilityReasoning,KnowledgeGraphConstruction,RetrievalAugmentation,
 RecursiveInference
 ]
 NORMALISE {
  "ampere" -> Ampere
  "A" -> Ampere
  "SI" -> InternationalSystemOfUnits
  "DC" -> DirectCurrent
  "AC" -> AlternatingCurrent
  "EMI" -> ElectromagneticInterference
 }
}

EXECUTION_RULES {
 E1 = "If ampere or symbol A denotes the SI base unit of electric current, activate AmpereOntology."
 E2 = "Confirm quantity kind electric current and base dimension I."
 E3 = "Use the modern elementary-charge defining relationship when formal definition semantics are required."
 E4 = "Preserve charge-current-time semantics through C = A s and I = dQ/dt."
 E5 = "Classify DC, AC, RMS, peak, average or instantaneous current where relevant."
 E6 = "Apply SI prefixes as exact decimal scale transformations."
 E7 = "Evaluate loading, frequency, temperature, leakage and EMI effects where material."
 E8 = "Distinguish ampere definition from practical realisation and calibration."
 E9 = "Preserve uncertainty and record definition versions, standards, conditions and provenance."
}

RECURSION {
 ENTRY = Ampere
 EXPAND(Ampere) -> [
 SIBaseUnits,SIBaseUnit,SIUnits,InternationalSystemOfUnits,SI,
 ElectricCurrent,PhysicalQuantity,Quantity,QuantityKind,QuantityValue,
 ElectricCurrentDimension,Dimension,BaseDimension,DimensionalSignature,
 Unit,MeasurementUnit,UnitSymbol,AmpereDefinition,DefiningConstant,
 ElementaryCharge,Coulomb,Second,Time,TimeDimension,ElectricCharge,
 DirectCurrent,AlternatingCurrent,RMSCurrentRelationship,UnitRealisation,
 AmpereRealisation,QuantumElectricalMetrologyRelationship,
 JosephsonEffectRelationship,QuantumHallEffectRelationship,
 CurrentMeasurement,Ammeter,CurrentShuntRelationship,
 CurrentTransformerRelationship,MeasurementSystem,Measurement,Measurand,
 MeasurementResult,MeasurementUncertainty,Calibration,ReferenceStandard,
 CurrentStandardRelationship,MeasurementTraceability,Metrology,
 ScientificMeasurement,TemperatureInfluence,FrequencyInfluenceRelationship,
 ElectromagneticInterference,EMI,LeakageCurrentRelationship,
 BurdenVoltageRelationship,SIPrefix,Milliampere,Microampere,Nanoampere,
 UnitConversion,Voltage,Volt,Resistance,Ohm,Power,Watt,SIDerivedUnit,
 DimensionalAnalysis,Verification,Validation,AmpereProvenance
 ]
 EXPAND(AmpereFamilies) -> [
 AmpereIdentitySymbolQuantityAndDimension,
 ElementaryChargeDefinitionAndSecondDependency,
 ChargeCurrentTimeAndCoulombSemantics,
 DCACRMSPeakAndInstantaneousCurrent,
 ElectricalMeasurementInstrumentsAndStandards,
 QuantumElectricalRealisationAndMetrology,
 ElectricalCorrectionsUncertaintyCalibrationAndTraceability,
 ValidationStandardsVersionsAndProvenance
 ]
 STOP_CONDITION = "Stop when ampere identity, current quantity, dimension, definition, charge relationship, measurement, uncertainty, realisation and provenance are sufficiently resolved."
}

ROUTING {
 PARENT_ONTOLOGY = "SI Base Units"
 RELATED_ONTOLOGIES = [
 "SI Base Units","SI Units Ontology","Measurement & Units Ontologies",
 "Foundations of Measurement","Quantity Ontology","Physical Quantity Ontology",
 "Dimension Ontology 2","Unit Ontology","Measurement Ontology",
 "Scientific Measurement Ontology 2","Metrology Ontology",
 "Reference Standard Ontology","Measurement System Ontology",
 "Measurement Uncertainty Ontology","Dimensional Analysis Ontology",
 "Verification & Validation"
 ]
 ROUTE_RULES = [
 "Ampere -> SI Base Units for parent base-unit semantics",
 "Ampere -> SI Units Ontology for system-wide SI semantics",
 "Ampere -> Quantity and Physical Quantity ontologies for electric-current semantics",
 "Ampere -> Dimension Ontology for base dimension I",
 "Ampere -> Unit Ontology for unit identity, prefixes and conversion",
 "Ampere -> Measurement and Scientific Measurement for current measurement",
 "Ampere -> Metrology and Reference Standard for electrical realisation, calibration and traceability",
 "Ampere -> Measurement System for electrical measurement-chain semantics",
 "Ampere -> Measurement Uncertainty for uncertainty evaluation",
 "Ampere -> Verification & Validation for dimensional, electrical and measurement checks"
 ]
}

UPDATE_MODEL {
 MODE = "append-compatible semantic versioning"
 MAJOR = "ontology-breaking conceptual change"
 MINOR = "new compatible ampere realisation, electrical measurement or reasoning relationships"
 PATCH = "clarification, metadata or formatting correction"
 RULES = [
 "Preserve ampere-versus-electric-current distinction.",
 "Preserve current-versus-charge distinction.",
 "Preserve unit-versus-quantity distinction.",
 "Preserve ampere-definition-versus-realisation distinction.",
 "Preserve SI-symbol case semantics.",
 "Preserve exact-definition-versus-measurement-uncertainty distinction.",
 "Preserve historical-definition-versus-current-definition distinction.",
 "Preserve machine-readable ampere semantics."
 ]
}

OUTPUT {
 CANONICAL_DEFINITION = "The ampere, symbol A, is the SI base unit of electric current and is defined through the exact SI numerical value of the elementary charge."
 QUANTITY_SUMMARY = "The ampere expresses electric current, whose SI base dimension is I."
 DEFINITION_SUMMARY = "The exact value e = 1.602176634×10^-19 C links the ampere definition to electric charge and the SI second."
 CHARGE_SUMMARY = "One coulomb equals one ampere second, and electric current represents the rate of electric-charge transfer."
 MEASUREMENT_SUMMARY = "Current can be measured using shunts, meters, transformers, probes and quantum-linked electrical methods."
 UNCERTAINTY_SUMMARY = "Precision current measurement can require uncertainty contributions from calibration, loading, temperature, frequency response, leakage, noise and stability."
 VALIDATION_SUMMARY = "Ampere semantics should preserve unit identity, current quantity, dimension, charge relationship, definition, realisation, uncertainty and provenance."
}

FLOW {
 INPUT
 -> detect_ampere_context
 -> identify_electric_current_quantity_value_unit_current_type_measurement_method_reference_and_intended_use
 -> resolve_ampere_prefixed_ampere_or_other_current_unit
 -> verify_quantity_kind_electric_current_and_dimension_I
 -> identify_elementary_charge_and_second_definition_relationship
 -> classify_DC_AC_RMS_peak_average_or_instantaneous_current
 -> if_prefixed_apply_exact_decimal_scaling
 -> identify_shunt_transformer_probe_quantum_or_direct_measurement_method
 -> evaluate_frequency_temperature_lead_contact_leakage_burden_EMI_and_self_heating_effects
 -> propagate_reference_calibration_resolution_stability_noise_correction_and_repeatability_uncertainty
 -> record_definition_version_method_reference_standards_conditions_calibration_and_traceability
 -> 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-SI-BASE-UNITS-AMPERE-ONTOLOGY-V1"
}

}

END_FLOW