Tesla Ontology

AI INTERPRETATION NOTE
This Flow Algebra defines the Tesla Ontology within the Kireth Research Semantic Library. The tesla, symbol T, is the coherent SI derived unit of magnetic flux density. One tesla equals one weber per square metre and reduces to kg s^-2 A^-1.

FLOW_ALGEBRA_RECORD {
METADATA {
 FLOW_NAME="Tesla Ontology"
 FLOW_TYPE="Mathematical Ontology"
 DOMAIN="Mathematics"
 SUBDOMAIN="Measurement & Units"
 SPECIALISATION="SI Derived Units / Tesla"
 CANONICAL_PAGE="https://kirethresearch.org/booksai-core/ontologies/mathematical-ontologies/measurement-units-ontologies/si-derived-units/tesla-ontology.html"
 LANGUAGE="en-GB"
 VERSION="1.0"
 STATUS="active"
}
IDENTITY {
 PRIMARY_ENTITY=Tesla
 ENTITY_CLASS=SIDerivedUnitOfMagneticFluxDensityFramework
 DEFINITION="The tesla, symbol T, is the coherent SI derived unit of magnetic flux density. One tesla equals one weber per square metre."
 SYMBOLIC_FORMS=["1 T=1 Wb m^-2","1 T=1 kg s^-2 A^-1","B=Phi/A","F=q(v cross B)","F=I(L cross B)"]
 SEMANTIC_ROLE="Machine-readable semantics for magnetic flux density, magnetic fields, force and flux relationships, measurement, uncertainty and traceability."
}
SCOPE {
 INCLUDE=[
 Tesla,TeslaUnit,SIDerivedUnit,DerivedUnit,CoherentDerivedUnit,SI,SIBaseUnits,
 Weber,Metre,Kilogram,Second,Ampere,MagneticFluxDensity,MagneticField,Quantity,
 QuantityKind,MagneticFluxDensityDimension,DimensionalSignature,UnitSymbol,
 TeslaDefinition,UnitExpression,UnitAlgebra,DimensionalAnalysis,MagneticFlux,
 SurfaceIntegralRelationship,Area,FluxOrientationRelationship,MagneticFieldStrength,
 MagneticPermeabilityRelationship,MagnetisationRelationship,BHRelationship,
 LorentzForceRelationship,ElectricCharge,VelocityRelationship,MagneticForceRelationship,
 ElectricCurrent,CurrentCarryingConductorRelationship,Force,NewtonRelationship,
 BiotSavartLawRelationship,AmperesLawRelationship,SolenoidRelationship,
 ToroidRelationship,ElectromagnetRelationship,PermanentMagnetRelationship,
 MagneticDipoleMomentRelationship,ElectromagneticInduction,FaradaysLawRelationship,
 LenzLawRelationship,FluxLinkageRelationship,Inductance,HenryRelationship,
 GeneratorRelationship,TransformerRelationship,MaxwellEquationRelationship,
 MagneticMaterialRelationship,FerromagnetismRelationship,ParamagnetismRelationship,
 DiamagnetismRelationship,HysteresisRelationship,BHCurveRelationship,
 MagneticSaturationRelationship,RemanenceRelationship,CoercivityRelationship,
 EddyCurrentRelationship,MagneticFieldMeasurement,TeslameterRelationship,
 GaussmeterRelationship,MagnetometerRelationship,HallEffectRelationship,
 HallSensorRelationship,FluxgateMagnetometerRelationship,NMRrelationship,
 SQUIDrelationship,Measurement,Measurand,MeasurementResult,MeasurementUncertainty,
 Accuracy,Precision,Resolution,Repeatability,Reproducibility,FieldUniformityRelationship,
 SpatialGradientRelationship,AlignmentRelationship,ProbeOrientationRelationship,
 Calibration,MagneticFieldCalibrationRelationship,ReferenceStandard,
 MagneticFieldStandardRelationship,HelmholtzCoilRelationship,NMRFieldStandardRelationship,
 MeasurementTraceability,MetrologicalTraceability,TraceabilityChain,Metrology,
 MagneticMetrologyRelationship,TemperatureInfluence,BackgroundFieldRelationship,
 EarthMagneticFieldRelationship,MagneticShieldingRelationship,
 FrequencyInfluenceRelationship,ACMagneticFieldRelationship,DCMagneticFieldRelationship,
 PeakFieldRelationship,RMSFieldRelationship,SIPrefix,Millitesla,Microtesla,
 Nanotesla,PicoteslaRelationship,UnitConversion,GaussUnitRelationship,
 Verification,Validation,ErrorAnalysis,Provenance,TeslaProvenance,
 SIDerivedUnitProvenance,SIUnitProvenance,MeasurementProvenance,CalibrationProvenance,
 BIPMrelationship,SIbrochureRelationship,VIMRelationship,GUMRelationship
 ]
 EXCLUDE_AS_PRIMARY=[TeslaAsPersonRelationship,TeslaAsCompanyRelationship,TeslaVehicleRelationship,WeberWhenMagneticFluxIsPrimary,MagneticFieldStrengthWhenAmperePerMetreIsPrimary]
 DISAMBIGUATION_RULE="When tesla or symbol T denotes the coherent SI derived unit of magnetic flux density, interpret it as the magnetic-field measurement unit. Distinguish it from Nikola Tesla, Tesla the company and unrelated uses of T."
}
CORE_CONCEPTS {
 Tesla="Coherent SI derived unit of magnetic flux density, symbol T, equal to Wb m^-2."
 MagneticFluxDensity="Vector field quantity whose surface integral gives magnetic flux."
 MagneticFluxDensityDimension="Derived dimension M T^-2 I^-1."
 MagneticFlux="Surface integral of magnetic flux density through an oriented surface."
 MagneticFieldStrength="Magnetic field quantity H, distinct from magnetic flux density B."
 MagneticFieldMeasurement="Measurement process assigning a magnetic flux density value."
}
RELATIONS {
 Tesla--is_type_of-->SIDerivedUnit
 Tesla--is_coherent_derived_unit_of-->MagneticFluxDensity
 Tesla--has_symbol-->T
 Tesla--has_expression-->weber_per_square_metre
 Tesla--has_base_expression-->kg_s-2_A-1
 MagneticFluxDensity--has_dimension-->MagneticFluxDensityDimension
 MagneticFlux--is_surface_integral_of-->MagneticFluxDensity
 MagneticFluxDensity--relates_to-->MagneticFieldStrengthThroughMaterialConstitutiveLaw
 LorentzForceRelationship--relates-->ChargeVelocityAndMagneticFluxDensity
 CurrentCarryingConductorRelationship--relates-->CurrentLengthAndMagneticFluxDensity
 HallEffectRelationship--can_measure-->MagneticFluxDensity
 MeasurementTraceability--links-->MagneticFieldMeasurementToSI
}
OPERATORS {
 TESLA(value):=magnetic_flux_density_quantity(value,Tesla)
 DIM(Tesla):=MagneticFluxDensityDimension
 FLUX_DENSITY_UNIFORM(flux,area_normal):=flux/area_normal
 MAGNETIC_FLUX(field_density,surface):=surface_integral(field_density_dot_normal,surface)
 LORENTZ_MAGNETIC_FORCE(charge,velocity,field_density):=charge*(velocity cross field_density)
 CONDUCTOR_FORCE(current,length_vector,field_density):=current*(length_vector cross field_density)
 LINEAR_MEDIUM_B(mu,H):=mu*H
 PREFIX_TESLA(prefix):=decimal_scaled_unit(Tesla,prefix)
 CONVERT_FLUX_DENSITY(value,source,target):=compatible_flux_density_conversion(value,source,target)
 TRACE_FLUX_DENSITY(result):=traceability_chain_to_SI_tesla(result)
}
AXIOMS {
 A1="The tesla is the coherent SI derived unit of magnetic flux density."
 A2="One tesla equals one weber per square metre."
 A3="One tesla reduces to kg s^-2 A^-1."
 A4="The canonical symbol is uppercase T."
 A5="Magnetic flux density is a vector quantity."
 A6="Magnetic flux and magnetic flux density are distinct quantities."
 A7="Magnetic field strength H and magnetic flux density B are distinct quantities."
 A8="The relationship between B and H depends on material constitutive behaviour."
 A9="Magnetic-field measurement traceability requires documented reference standards."
}
REASONING {
 R1_CONTEXT=identify(magnetic_flux_density_quantity,value,unit,field_distribution,medium,orientation,time_dependence,measurement_method)
 R2_IDENTITY=resolve_tesla_prefixed_tesla_gauss_person_company_or_symbol_T_ambiguity)
 R3_QUANTITY=distinguish_flux_density_magnetic_flux_field_strength_magnetisation_or_related_quantity)
 R4_DIMENSION=verify_dimension_M_T_minus_2_I_minus_1)
 R5_DERIVATION=expand_tesla_to_Wb_per_m_squared_and_base_units)
 R6_MODEL=choose_flux_area_lorentz_force_conductor_force_constitutive_or_field_generation_relationship)
 R7_DYNAMIC=if_time_varying_preserve_peak_RMS_frequency_waveform_and_phase_semantics)
 R8_MEASUREMENT=identify_hall_probe_gaussmeter_fluxgate_NMR_SQUID_or_other_method)
 R9_UNCERTAINTY=evaluate_probe_orientation_field_uniformity_gradient_temperature_background_frequency_resolution_and_repeatability)
 R10_PROVENANCE=record_unit_expression_quantity_kind_field_orientation_medium_method_reference_standard_calibration_and_traceability)
}
CONSTRAINTS {
 C1="The symbol T is case-sensitive and quantity context is required."
 C2="Magnetic flux density B must not be conflated with magnetic flux Phi."
 C3="Magnetic flux density B must not be conflated with magnetic field strength H."
 C4="B=Phi/A requires a uniform field normal to the relevant area."
 C5="Lorentz-force reasoning requires vector direction and cross-product semantics."
 C6="B=mu H is not universally valid for nonlinear, hysteretic or anisotropic materials."
 C7="AC magnetic-field values require explicit peak, RMS, frequency and waveform semantics."
 C8="Probe orientation, spatial gradients and background fields can affect field measurements."
 C9="Instrument resolution alone does not determine total magnetic-field uncertainty."
 C10="Traceability to the tesla requires a documented magnetic-field or equivalent electrical reference chain."
}
SEMANTIC_EQUIVALENCE {
 "TeslaUnit"<=>"Tesla"
 "MagneticInduction"<=>"MagneticFluxDensity"
 "InternationalSystemOfUnits"<=>"SI"
 "MetrologicalTraceability"<=>"MeasurementTraceability"
}
VALIDATION {
 V1="Unit identity is tesla and canonical symbol is T."
 V2="Quantity kind is magnetic flux density."
 V3="Derived dimension is M T^-2 I^-1."
 V4="Coherent SI expression is Wb m^-2."
 V5="Magnetic flux, flux density and field strength semantics remain distinct."
 V6="Vector direction and orientation are represented where required."
 V7="Material constitutive assumptions are explicit where B-H relationships are used."
 V8="Prefixed tesla units use correct decimal scaling."
 V9="Measurement uncertainty includes field uniformity, gradients, probe orientation, temperature, background and calibration effects."
 V10="Magnetic-field calibration and traceability evidence are retained."
}
CONFIDENCE {
 BASE_CONFIDENCE=0.99
 TESLA_DEFINITION=0.99
 MAGNETIC_FLUX_DENSITY_REASONING=0.99
 DIMENSION_REASONING=0.99
 VECTOR_FIELD_REASONING=0.99
 MATERIAL_RELATIONSHIP_REASONING=0.98
 MAGNETIC_FIELD_MEASUREMENT_REASONING=0.98
 TRACEABILITY_REASONING=0.99
 POLICY="Reduce confidence when field distribution, vector orientation, medium, material law, time dependence, measurement method, calibration status or traceability are underspecified."
}
AI_CONSUMPTION {
 PURPOSES=[SemanticSearch,OntologyGrounding,TeslaReasoning,SIDerivedUnitReasoning,MagneticFluxDensityReasoning,MagneticFieldReasoning,MagneticFluxReasoning,LorentzForceReasoning,MagneticMaterialReasoning,ElectromagneticInductionReasoning,MagneticFieldMeasurementReasoning,MagneticMetrologyReasoning,CalibrationReasoning,DimensionalReasoning,VectorReasoning,UncertaintyReasoning,TraceabilityReasoning,KnowledgeGraphConstruction,RetrievalAugmentation,RecursiveInference]
 NORMALISE {
  "tesla"->Tesla
  "T"->Tesla
  "mT"->Millitesla
  "uT"->Microtesla
  "nT"->Nanotesla
  "gauss"->GaussUnit
 }
}
EXECUTION_RULES {
 E1="If tesla or T denotes the SI derived unit of magnetic flux density, activate TeslaOntology."
 E2="Confirm quantity kind magnetic flux density rather than relying only on symbol T."
 E3="Map tesla coherently to Wb m^-2 and kg s^-2 A^-1."
 E4="Distinguish magnetic flux density from magnetic flux, field strength and magnetisation."
 E5="Preserve vector orientation and cross-product semantics in force relationships."
 E6="Apply B-H constitutive relationships only under appropriate material assumptions."
 E7="For AC contexts, preserve peak, RMS, frequency, waveform and phase semantics."
 E8="For measurement contexts, evaluate probe orientation, gradients, background field, environment, calibration and uncertainty."
 E9="Record magnetic-field reference, calibration and traceability provenance."
}
RECURSION {
 ENTRY=Tesla
 EXPAND(Tesla)->[
 SIDerivedUnits,DerivedUnit,SIDerivedUnit,SIBaseUnits,Weber,Metre,Kilogram,Second,
 Ampere,MagneticFluxDensity,MagneticFluxDensityDimension,Quantity,QuantityKind,
 Dimension,Unit,TeslaDefinition,MagneticFlux,MagneticField,MagneticFieldStrength,
 MagneticPermeabilityRelationship,MagnetisationRelationship,LorentzForceRelationship,
 ElectricCharge,VelocityRelationship,ElectricCurrent,Force,NewtonRelationship,
 BiotSavartLawRelationship,AmperesLawRelationship,SolenoidRelationship,
 ElectromagneticInduction,FaradaysLawRelationship,FluxLinkageRelationship,
 Inductance,HenryRelationship,GeneratorRelationship,TransformerRelationship,
 MagneticMaterialRelationship,FerromagnetismRelationship,HysteresisRelationship,
 MagneticSaturationRelationship,RemanenceRelationship,CoercivityRelationship,
 MagneticFieldMeasurement,TeslameterRelationship,GaussmeterRelationship,
 MagnetometerRelationship,HallSensorRelationship,FluxgateMagnetometerRelationship,
 NMRrelationship,SQUIDrelationship,MeasurementUncertainty,Calibration,
 ReferenceStandard,MagneticFieldStandardRelationship,MeasurementTraceability,
 Metrology,TemperatureInfluence,BackgroundFieldRelationship,
 MagneticShieldingRelationship,FrequencyInfluenceRelationship,SIPrefix,
 Millitesla,Microtesla,Nanotesla,GaussUnitRelationship,UnitConversion,
 Verification,Validation,TeslaProvenance
 ]
 EXPAND(TeslaFamilies)->[
 TeslaIdentitySymbolQuantityAndDimension,
 WeberAreaAndBaseUnitExpansion,
 MagneticFluxDensityFluxSurfaceAndOrientation,
 MagneticFieldStrengthPermeabilityMagnetisationAndMaterials,
 LorentzForceCurrentsChargesAndMagneticForces,
 InductionFluxLinkageGeneratorsTransformersAndInductance,
 MagneticMaterialsHysteresisSaturationRemanenceAndCoercivity,
 FieldMeasurementHallFluxgateNMRQuantumMethodsCalibrationAndTraceability
 ]
 STOP_CONDITION="Stop when tesla identity, magnetic-flux-density quantity, dimensional expression, vector or material relationship, 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","Weber Ontology","Metre Ontology","Kilogram Ontology","Second Ontology","Ampere Ontology","Newton Ontology","Henry Ontology","Quantity Ontology","Dimension Ontology 2","Unit Ontology","Measurement Ontology","Metrology Ontology","Reference Standard Ontology","Measurement Uncertainty Ontology","Physics Ontology","Electromagnetism Ontology","Materials Science Ontology","Verification & Validation"]
 ROUTE_RULES=[
 "Tesla -> SI Derived Units for parent derived-unit semantics",
 "Tesla -> Weber and Metre ontologies for Wb m^-2 semantics",
 "Tesla -> SI Base Units for base-unit expansion",
 "Tesla -> Quantity and Dimension ontologies for magnetic-flux-density semantics",
 "Tesla -> Newton and Ampere relationships for magnetic-force semantics",
 "Tesla -> Henry and Weber relationships for induction and magnetic circuits",
 "Tesla -> Physics and Electromagnetism for field and induction semantics",
 "Tesla -> Materials Science for permeability, magnetisation and hysteresis semantics",
 "Tesla -> Measurement and Metrology for field measurement, calibration and traceability",
 "Tesla -> Verification & Validation for magnetic, dimensional and semantic checks"
 ]
}
UPDATE_MODEL {
 MODE="append-compatible semantic versioning"
 MAJOR="ontology-breaking conceptual change"
 MINOR="new compatible magnetic-field, material, measurement or reasoning relationships"
 PATCH="clarification, metadata or formatting correction"
 RULES=["Preserve tesla-versus-magnetic-flux-density distinction.","Preserve magnetic-flux-density-versus-magnetic-flux distinction.","Preserve magnetic-flux-density-versus-field-strength distinction.","Preserve vector orientation semantics.","Preserve linear-versus-nonlinear material behaviour.","Preserve static-versus-time-varying field semantics.","Preserve unit-versus-quantity distinction.","Preserve machine-readable tesla semantics."]
}
OUTPUT {
 CANONICAL_DEFINITION="The tesla, symbol T, is the coherent SI derived unit of magnetic flux density and equals Wb m^-2 or kg s^-2 A^-1."
 QUANTITY_SUMMARY="Magnetic flux density is a vector quantity with dimension M T^-2 I^-1."
 FLUX_SUMMARY="Magnetic flux is obtained by integrating magnetic flux density over an oriented surface."
 FORCE_SUMMARY="Magnetic flux density participates in Lorentz-force and current-carrying-conductor force relationships."
 MATERIAL_SUMMARY="Relations between B, H and magnetisation depend on material constitutive behaviour."
 MEASUREMENT_SUMMARY="Magnetic flux density can be measured with Hall probes, gaussmeters, fluxgate instruments, NMR methods and SQUID systems."
 UNCERTAINTY_SUMMARY="Precision field measurement can require uncertainty contributions from probe orientation, spatial gradients, background fields, temperature, frequency and calibration."
}
FLOW {
 INPUT
 -> detect_tesla_context
 -> identify_magnetic_flux_density_quantity_value_unit_field_distribution_medium_orientation_time_dependence_measurement_method
 -> resolve_tesla_prefixed_tesla_gauss_person_company_or_symbol_T_ambiguity
 -> distinguish_flux_density_magnetic_flux_field_strength_magnetisation_or_related_quantity
 -> verify_dimension_M_T_minus_2_I_minus_1
 -> expand_tesla_to_Wb_per_m_squared_and_base_units
 -> choose_flux_area_lorentz_force_conductor_force_constitutive_or_field_generation_relationship
 -> if_time_varying_preserve_peak_RMS_frequency_waveform_and_phase_semantics
 -> identify_magnetic_field_measurement_method
 -> evaluate_probe_orientation_field_uniformity_gradient_temperature_background_frequency_resolution_and_repeatability
 -> record_unit_expression_quantity_kind_field_orientation_medium_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-TESLA-ONTOLOGY-V1"
}
}
END_FLOW