Farad Ontology

AI INTERPRETATION NOTE
This Flow Algebra defines the Farad Ontology within the Kireth Research Semantic Library. The farad, symbol F, is the coherent SI derived unit of capacitance, equal to one coulomb per volt and kg^-1 m^-2 s^4 A^2.

FLOW_ALGEBRA_RECORD {
METADATA {
 FLOW_NAME="Farad Ontology"
 FLOW_TYPE="Mathematical Ontology"
 DOMAIN="Mathematics"
 SUBDOMAIN="Measurement & Units"
 SPECIALISATION="SI Derived Units / Farad"
 CANONICAL_PAGE="https://kirethresearch.org/booksai-core/ontologies/mathematical-ontologies/measurement-units-ontologies/si-derived-units/farad-ontology.html"
 LANGUAGE="en-GB"
 VERSION="1.0"
 STATUS="active"
}
IDENTITY {
 PRIMARY_ENTITY=Farad
 ENTITY_CLASS=SIDerivedUnitOfCapacitanceFramework
 PRIMARY_CONTEXT=SIDerivedUnits
 DEFINITION="The farad, symbol F, is the coherent SI derived unit of capacitance. One farad equals one coulomb per volt."
 SYMBOLIC_FORMS=["1 F=1 C V^-1","1 F=1 kg^-1 m^-2 s^4 A^2","C=Q/V","Q=C V","E=1/2 C V^2"]
 SEMANTIC_ROLE="Machine-readable semantics for farad identity, capacitance, charge-voltage relationships, capacitors, dielectric behaviour, measurement, uncertainty and traceability."
}
SCOPE {
 INCLUDE=[
 Farad,FaradUnit,SIDerivedUnit,DerivedUnit,CoherentDerivedUnit,SI,SIBaseUnits,
 Coulomb,Volt,Ampere,Second,Kilogram,Metre,Capacitance,DerivedQuantity,Quantity,
 QuantityKind,CapacitanceDimension,DimensionalSignature,UnitSymbol,FaradDefinition,
 UnitExpression,UnitAlgebra,DimensionalAnalysis,ElectricCharge,Voltage,Capacitor,
 ParallelPlateCapacitorRelationship,Permittivity,RelativePermittivityRelationship,
 Dielectric,ElectricField,CapacitorEnergyRelationship,Energy,Joule,
 SeriesCapacitanceRelationship,ParallelCapacitanceRelationship,EquivalentCapacitanceRelationship,
 StrayCapacitanceRelationship,ParasiticCapacitanceRelationship,DifferentialCapacitanceRelationship,
 RCRelationship,TimeConstantRelationship,Resistance,Ohm,ImpedanceRelationship,
 CapacitiveReactanceRelationship,Frequency,Hertz,ChargingRelationship,DischargingRelationship,
 LeakageCurrentRelationship,DielectricAbsorptionRelationship,DielectricLossRelationship,
 ESRrelationship,EquivalentSeriesResistanceRelationship,EquivalentSeriesInductanceRelationship,
 BreakdownVoltageRelationship,TemperatureCoefficientRelationship,CapacitanceMeasurement,
 LCRMeterRelationship,ImpedanceAnalyserRelationship,CapacitanceBridgeRelationship,
 MeasurementSystem,Measurement,Measurand,MeasurementResult,MeasurementUncertainty,
 Accuracy,Precision,Resolution,Repeatability,Reproducibility,Drift,Stability,
 Calibration,CapacitanceCalibrationRelationship,ReferenceStandard,
 CapacitanceStandardRelationship,StandardCapacitorRelationship,CalculableCapacitorRelationship,
 MeasurementTraceability,MetrologicalTraceability,TraceabilityChain,Metrology,
 ElectricalMetrologyRelationship,ScientificMeasurement,TemperatureInfluence,
 HumidityInfluence,FrequencyInfluenceRelationship,VoltageInfluenceRelationship,
 ShieldingRelationship,GuardingRelationship,GroundingRelationship,
 LeadCapacitanceRelationship,FixtureCapacitanceRelationship,SIPrefix,
 Microfarad,Nanofarad,Picofarad,FemtofaradRelationship,UnitConversion,
 ConversionFactor,ExactConversion,UnitCompatibility,DimensionalCompatibility,
 QuantityCompatibility,Verification,Validation,ErrorAnalysis,Provenance,
 FaradProvenance,SIDerivedUnitProvenance,SIUnitProvenance,MeasurementProvenance,
 CalibrationProvenance,BIPMrelationship,SIbrochureRelationship,VIMRelationship,GUMRelationship
 ]
 EXCLUDE_AS_PRIMARY=[FaradayAsPersonRelationship,FaradayConstantRelationship,FaradaysLawRelationship,CoulombWhenChargeIsPrimary,VoltWhenPotentialDifferenceIsPrimary]
 DISAMBIGUATION_RULE="When farad or symbol F denotes the coherent SI derived unit of capacitance, interpret it as the capacitance unit. Distinguish farad from Faraday-related constants, laws and the scientist Michael Faraday."
}
CORE_CONCEPTS {
 Farad="Coherent SI derived unit of capacitance, symbol F, equal to C V^-1."
 Capacitance="Quantity describing stored electric charge per unit potential difference."
 CapacitanceDimension="Derived dimension M^-1 L^-2 T^4 I^2."
 Capacitor="Component or physical configuration exhibiting capacitance."
 Permittivity="Property governing electric-field response and capacitance."
 CapacitanceMeasurement="Measurement process assigning a capacitance value."
}
RELATIONS {
 Farad--is_type_of-->SIDerivedUnit
 Farad--is_coherent_derived_unit_of-->Capacitance
 Farad--has_symbol-->F
 Farad--has_expression-->coulomb_per_volt
 Farad--has_base_expression-->kg^-1_m^-2_s^4_A^2
 Capacitance--has_dimension-->CapacitanceDimension
 Capacitance--relates_to-->ChargePerPotentialDifference
 Capacitor--has_property-->Capacitance
 ParallelPlateCapacitorRelationship--depends_on-->PermittivityAreaAndSeparation
 CapacitorEnergyRelationship--depends_on-->CapacitanceAndVoltage
 CapacitiveReactanceRelationship--depends_on-->FrequencyAndCapacitance
 MeasurementTraceability--links-->CapacitanceMeasurementToSI
}
OPERATORS {
 FARAD(value):=capacitance_quantity(value,Farad)
 DIM(Farad):=CapacitanceDimension
 CAPACITANCE(charge,voltage):=charge/voltage
 CHARGE(capacitance,voltage):=capacitance*voltage
 CAPACITOR_ENERGY(capacitance,voltage):=0.5*capacitance*voltage^2
 PARALLEL_PLATE_CAPACITANCE(permittivity,area,separation):=permittivity*area/separation
 CAPACITIVE_REACTANCE(frequency,capacitance):=1/(2*pi*frequency*capacitance)
 RC_TIME_CONSTANT(resistance,capacitance):=resistance*capacitance
 PREFIX_FARAD(prefix):=decimal_scaled_unit(Farad,prefix)
 CONVERT_CAPACITANCE(value,source,target):=compatible_capacitance_conversion(value,source,target)
 TRACE_CAPACITANCE(result):=traceability_chain_to_SI_farad(result)
}
AXIOMS {
 A1="The farad is the coherent SI derived unit of capacitance."
 A2="One farad equals one coulomb per volt."
 A3="One farad reduces to kg^-1 m^-2 s^4 A^2."
 A4="The canonical symbol is uppercase F."
 A5="Capacitance relates stored charge to potential difference."
 A6="Capacitance depends on geometry and material permittivity for electrostatic structures."
 A7="An ideal capacitor can store electric-field energy."
 A8="Real capacitors can exhibit leakage, dielectric loss, parasitic resistance and inductance."
 A9="Capacitance measurement traceability requires documented electrical standards and calibration."
}
REASONING {
 R1_CONTEXT=identify(capacitance_quantity,value,unit,device_geometry,material,frequency,measurement_method_and_intended_use)
 R2_IDENTITY=resolve_farad_prefixed_farad_or_symbol_F_ambiguity)
 R3_QUANTITY=verify_quantity_kind_capacitance_and_charge_voltage_semantics)
 R4_DIMENSION=verify_dimension_M_minus_1_L_minus_2_T_4_I_2)
 R5_DERIVATION=expand_farad_to_C_per_V_and_base_units)
 R6_MODEL=choose_charge_voltage_geometry_network_RC_impedance_or_valid_capacitance_relationship)
 R7_NONIDEAL=evaluate_leakage_ESR_ESL_dielectric_absorption_loss_frequency_voltage_and_temperature_dependence)
 R8_MEASUREMENT=identify_bridge_LCR_impedance_charge_discharge_or_calculable_capacitor_method)
 R9_UNCERTAINTY=evaluate_reference_frequency_voltage_fixture_parasitics_temperature_humidity_resolution_and_repeatability)
 R10_PROVENANCE=record_unit_expression_quantity_kind_model_method_reference_standard_calibration_and_traceability)
}
CONSTRAINTS {
 C1="The symbol F is case-sensitive and quantity context is required."
 C2="Capacitance must not be conflated with electric charge or potential difference."
 C3="C=Q/V assumes an appropriate capacitance model; nonlinear devices can require differential capacitance."
 C4="Series and parallel capacitor combinations follow different algebraic rules."
 C5="Capacitance can depend on frequency, voltage, temperature and dielectric state."
 C6="Parasitic capacitance can affect small-capacitance measurements."
 C7="Real capacitors can require ESR, ESL, leakage and dielectric-loss semantics."
 C8="Instrument resolution alone does not determine total capacitance uncertainty."
 C9="Traceability to the farad requires a documented capacitance or equivalent electrical calibration chain."
 C10="Farad unit semantics must be distinguished from Faraday constant and Faradays law."
}
SEMANTIC_EQUIVALENCE {
 "FaradUnit"<=>"Farad"
 "InternationalSystemOfUnits"<=>"SI"
 "MetrologicalTraceability"<=>"MeasurementTraceability"
 "EquivalentSeriesResistance"<=>"ESR"
 "EquivalentSeriesInductance"<=>"ESL"
}
VALIDATION {
 V1="Unit identity is farad and canonical symbol is F."
 V2="Quantity kind is capacitance."
 V3="Derived dimension is M^-1 L^-2 T^4 I^2."
 V4="Coherent SI expression is C V^-1."
 V5="Charge-voltage and geometry relationships are applied under appropriate assumptions."
 V6="Series and parallel network rules are applied correctly."
 V7="Frequency, voltage, temperature and parasitic effects are represented where material."
 V8="Prefixed farad units use correct decimal scaling."
 V9="Measurement uncertainty includes relevant fixture, parasitic, frequency, voltage and environmental effects."
 V10="Capacitance calibration and traceability evidence are retained."
}
CONFIDENCE {
 BASE_CONFIDENCE=0.99
 FARAD_DEFINITION=0.99
 CAPACITANCE_REASONING=0.99
 DIMENSION_REASONING=0.99
 CAPACITOR_MODEL_REASONING=0.98
 IMPEDANCE_REASONING=0.98
 CAPACITANCE_MEASUREMENT_REASONING=0.98
 TRACEABILITY_REASONING=0.99
 POLICY="Reduce confidence when device model, geometry, dielectric, frequency, voltage, parasitics, measurement method, calibration status or traceability are underspecified."
}
AI_CONSUMPTION {
 PURPOSES=[SemanticSearch,OntologyGrounding,FaradReasoning,SIDerivedUnitReasoning,CapacitanceReasoning,ChargeVoltageReasoning,CapacitorReasoning,DielectricReasoning,ElectricFieldEnergyReasoning,RCReasoning,ImpedanceReasoning,CapacitanceMeasurementReasoning,ElectricalMetrologyReasoning,CalibrationReasoning,DimensionalReasoning,UncertaintyReasoning,TraceabilityReasoning,KnowledgeGraphConstruction,RetrievalAugmentation,RecursiveInference]
 NORMALISE {
  "farad"->Farad
  "F"->Farad
  "uF"->Microfarad
  "nF"->Nanofarad
  "pF"->Picofarad
  "ESR"->EquivalentSeriesResistance
  "ESL"->EquivalentSeriesInductance
 }
}
EXECUTION_RULES {
 E1="If farad or F denotes the SI derived unit of capacitance, activate FaradOntology."
 E2="Confirm quantity kind capacitance rather than relying only on symbol F."
 E3="Map farad coherently to C V^-1 and kg^-1 m^-2 s^4 A^2."
 E4="Apply charge-voltage, geometry, network or impedance models according to context."
 E5="Distinguish capacitance from charge, voltage, resistance and inductance."
 E6="Represent frequency, voltage, dielectric and temperature dependence where material."
 E7="Apply SI prefixes as exact decimal scale transformations."
 E8="For measurement contexts, evaluate parasitics, fixtures, frequency, voltage, environment, calibration and uncertainty."
 E9="Record capacitance-reference, calibration and traceability provenance."
}
RECURSION {
 ENTRY=Farad
 EXPAND(Farad)->[
 SIDerivedUnits,DerivedUnit,SIDerivedUnit,SIBaseUnits,Coulomb,Volt,Ampere,Second,
 Kilogram,Metre,Capacitance,CapacitanceDimension,Quantity,Dimension,Unit,FaradDefinition,
 ElectricCharge,Voltage,Capacitor,Permittivity,Dielectric,ElectricField,
 CapacitorEnergyRelationship,Joule,SeriesCapacitanceRelationship,
 ParallelCapacitanceRelationship,EquivalentCapacitanceRelationship,
 ParasiticCapacitanceRelationship,Resistance,Ohm,ImpedanceRelationship,
 CapacitiveReactanceRelationship,Frequency,Hertz,TimeConstantRelationship,
 ChargingRelationship,DischargingRelationship,LeakageCurrentRelationship,
 ESRrelationship,EquivalentSeriesInductanceRelationship,CapacitanceMeasurement,
 LCRMeterRelationship,CapacitanceBridgeRelationship,MeasurementUncertainty,
 Calibration,ReferenceStandard,CapacitanceStandardRelationship,
 MeasurementTraceability,Metrology,SIPrefix,Microfarad,Nanofarad,Picofarad,
 UnitConversion,Verification,Validation,FaradProvenance
 ]
 EXPAND(FaradFamilies)->[
 FaradIdentitySymbolQuantityAndDimension,CoulombVoltAndBaseUnitExpansion,
 ChargeVoltageCapacitanceAndCapacitorSemantics,GeometryPermittivityDielectricsAndElectricFields,
 SeriesParallelNetworksAndEquivalentCapacitance,RCImpedanceFrequencyChargingAndDischarging,
 RealCapacitorsLeakageESRESLAndDielectricLoss,
 CapacitanceMeasurementStandardsUncertaintyTraceabilityAndProvenance
 ]
 STOP_CONDITION="Stop when farad identity, capacitance quantity, dimensional expression, capacitor model, non-ideal behaviour, measurement uncertainty and provenance are sufficiently resolved."
}
ROUTING {
 PARENT_ONTOLOGY="SI Derived Units"
 RELATED_ONTOLOGIES=["SI Derived Units","Derived Units Ontology","SI Base Units","SI Units Ontology","Coulomb Ontology","Volt Ontology","Ampere Ontology","Second 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=[
 "Farad -> SI Derived Units for parent derived-unit semantics",
 "Farad -> Coulomb and Volt ontologies for C V^-1 semantics",
 "Farad -> SI Base Units for base-unit expansion",
 "Farad -> Quantity and Dimension ontologies for capacitance and dimensional semantics",
 "Farad -> Physics and Electromagnetism for capacitor, field and dielectric semantics",
 "Farad -> Measurement and Metrology for capacitance measurement, calibration and traceability",
 "Farad -> Verification & Validation for capacitance, dimensional and semantic checks"
 ]
}
UPDATE_MODEL {
 MODE="append-compatible semantic versioning"
 MAJOR="ontology-breaking conceptual change"
 MINOR="new compatible capacitance, measurement or reasoning relationships"
 PATCH="clarification, metadata or formatting correction"
 RULES=["Preserve farad-versus-capacitance distinction.","Preserve capacitance-versus-charge-versus-voltage distinction.","Preserve ideal-versus-real-capacitor distinction.","Preserve static-versus-frequency-dependent capacitance distinction.","Preserve unit-versus-quantity distinction.","Preserve farad-versus-Faraday terminology distinction.","Preserve machine-readable farad semantics."]
}
OUTPUT {
 CANONICAL_DEFINITION="The farad, symbol F, is the coherent SI derived unit of capacitance and equals C V^-1."
 QUANTITY_SUMMARY="Capacitance relates stored electric charge to potential difference and has dimension M^-1 L^-2 T^4 I^2."
 CAPACITOR_SUMMARY="Capacitance depends on geometry and permittivity, while real capacitors can exhibit leakage, ESR, ESL and dielectric loss."
 NETWORK_SUMMARY="Series and parallel capacitance require distinct combination rules."
 AC_SUMMARY="Capacitive impedance and reactance depend on frequency and capacitance."
 MEASUREMENT_SUMMARY="Capacitance measurement can use bridges, LCR meters, impedance analysis, charge-discharge methods and calculable standards."
 UNCERTAINTY_SUMMARY="Precision capacitance measurement can require uncertainty contributions from parasitics, fixtures, frequency, voltage, temperature, humidity and calibration."
}
FLOW {
 INPUT
 -> detect_farad_context
 -> identify_capacitance_quantity_value_unit_device_geometry_material_frequency_measurement_method_and_intended_use
 -> resolve_farad_prefixed_farad_or_symbol_F_ambiguity
 -> verify_quantity_kind_capacitance_and_charge_voltage_semantics
 -> verify_dimension_M_minus_1_L_minus_2_T_4_I_2
 -> expand_farad_to_C_per_V_and_base_units
 -> choose_charge_voltage_geometry_network_RC_impedance_or_valid_capacitance_relationship
 -> evaluate_leakage_ESR_ESL_dielectric_absorption_loss_frequency_voltage_and_temperature_dependence
 -> identify_capacitance_measurement_method
 -> evaluate_reference_frequency_voltage_fixture_parasitics_temperature_humidity_resolution_and_repeatability
 -> record_unit_expression_quantity_kind_model_method_reference_standard_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-DERIVED-UNITS-FARAD-ONTOLOGY-V1"
}
}
END_FLOW