Second Ontology

AI INTERPRETATION NOTE
This Flow Algebra defines the Second Ontology within the Kireth Research Semantic Library. The second is the SI base unit of time, symbol s. It formalises time quantity, time dimension, the caesium-133 defining-frequency relationship, frequency and period, practical realisation, clocks, calibration, uncertainty, traceability and provenance.

FLOW_ALGEBRA_RECORD {

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

IDENTITY {
 PRIMARY_ENTITY = Second
 ENTITY_CLASS = SIBaseUnitOfTimeFramework
 PRIMARY_CONTEXT = SIBaseUnits
 DEFINITION = "The second, symbol s, is the SI base unit of time, defined by taking the fixed numerical value of the caesium frequency Delta nu Cs, the unperturbed ground-state hyperfine transition frequency of caesium-133, to be 9192631770 when expressed in Hz, equal to s^-1."
 SYMBOLIC_FORMS = ["Delta_nu_Cs=9192631770 Hz exactly","Hz=s^-1","[time]=T","Q_time=value*s"]
 SEMANTIC_ROLE = "Machine-readable semantics for the second as the SI base unit of time, including definition, dimension, frequency relationships, realisation, measurement, uncertainty and traceability."
}

SCOPE {
 INCLUDE = [
 Second,SIBaseUnit,SIUnit,BaseUnit,MeasurementUnit,Unit,
 InternationalSystemOfUnits,SI,InternationalSystemOfQuantities,ISQ,
 Time,Duration,TimeInterval,Period,PhysicalQuantity,Quantity,QuantityKind,
 BaseQuantity,SIBaseQuantity,QuantityValue,Dimension,BaseDimension,
 TimeDimension,DimensionalSignature,UnitSymbol,UnitIdentifier,
 UnitDefinition,SecondDefinition,DefiningConstant,CaesiumFrequency,
 Caesium133HyperfineTransitionFrequency,ExactValue,Hertz,Frequency,
 FrequencyDimension,InverseTimeRelationship,UnitRealisation,
 SecondRealisation,MiseEnPratiqueRelationship,AtomicClock,CaesiumClock,
 CaesiumFountainClock,PrimaryFrequencyStandardRelationship,
 OpticalClockRelationship,Oscillator,FrequencyCombRelationship,
 TimeMeasurement,FrequencyMeasurement,PeriodMeasurement,
 ClockComparisonRelationship,TimeTransferRelationship,
 FrequencyTransferRelationship,Synchronisation,Timekeeping,
 TimeScaleRelationship,InternationalAtomicTimeRelationship,TAI,
 CoordinatedUniversalTimeRelationship,UTC,LeapSecondRelationship,
 Clock,FrequencyCounterRelationship,MeasurementSystem,Measurement,
 Measurand,MeasurementProcedure,MeasurementModel,MeasurementResult,
 MeasurementUncertainty,StandardUncertainty,CombinedUncertainty,
 ExpandedUncertainty,Accuracy,Precision,Resolution,Repeatability,
 Reproducibility,Stability,FrequencyStabilityRelationship,Drift,
 PhaseNoiseRelationship,AllanDeviationRelationship,Calibration,
 TimeCalibrationRelationship,FrequencyCalibrationRelationship,
 ReferenceStandard,TimeStandardRelationship,FrequencyStandardRelationship,
 PrimaryStandard,SecondaryStandard,WorkingStandard,
 MeasurementTraceability,MetrologicalTraceability,TraceabilityChain,
 Metrology,ScientificMeasurement,EnvironmentalCondition,
 TemperatureInfluence,MagneticFieldInfluenceRelationship,
 BlackbodyRadiationShiftRelationship,GravitationalRedshiftRelationship,
 RelativisticCorrectionRelationship,DopplerShiftRelationship,
 Prefix,SIPrefix,Millisecond,Microsecond,Nanosecond,
 PicosecondRelationship,MinuteRelationship,HourRelationship,
 DayRelationship,UnitConversion,ConversionFactor,ExactConversion,
 UnitCompatibility,DimensionalCompatibility,QuantityCompatibility,
 DerivedQuantity,SIDerivedQuantity,DerivedUnit,SIDerivedUnit,
 UnitExpression,UnitAlgebra,QuantityCalculus,DimensionalAnalysis,
 DimensionalConsistency,Verification,Validation,UnitValidation,
 ConversionValidation,ErrorAnalysis,Provenance,SecondProvenance,
 SIUnitProvenance,MeasurementProvenance,CalibrationProvenance,
 StandardProvenance,BIPMrelationship,CGPMrelationship,CIPMrelationship,
 SIbrochureRelationship,VIMRelationship,GUMRelationship,StandardVersion
 ]
 EXCLUDE_AS_PRIMARY = [
 SecondAsOrdinalRelationship,SecondAsAngularArcsecondRelationship,
 SecondAsInformalMomentRelationship,
 GeneralTimeQuantityWhenUnitIdentityIsSecondary
 ]
 DISAMBIGUATION_RULE = "When second or symbol s denotes the SI base unit of time, interpret the context as the second measurement unit rather than ordinal second, arcsecond or informal uses."
}

CORE_CONCEPTS {
 Second = "SI base unit of time, symbol s."
 Time = "Physical quantity used to order events and quantify durations or intervals."
 TimeDimension = "Base physical dimension represented by T."
 CaesiumFrequency = "Defining constant Delta nu Cs with exact SI numerical value 9192631770 Hz."
 Frequency = "Quantity representing cycles or events per unit time."
 SecondRealisation = "Practical realisation of the second consistent with its SI definition."
 AtomicClock = "Clock whose frequency reference is based on an atomic transition."
 TimeMeasurement = "Measurement process assigning a time or duration value to a measurand."
}

RELATIONS {
 Second --is_type_of--> SIBaseUnit
 Second --is_SI_base_unit_of--> Time
 Time --has_dimension--> TimeDimension
 Second --has_symbol--> s
 Second --is_defined_via--> CaesiumFrequency
 CaesiumFrequency --has_exact_value--> 9192631770_Hz
 Hertz --is_equivalent_to--> inverse_second
 Frequency --has_dimension--> inverse_TimeDimension
 SecondRealisation --implements--> SecondDefinition
 CaesiumClock --supports--> SecondRealisation
 FrequencyCalibrationRelationship --uses--> ReferenceStandard
 MeasurementTraceability --links--> TimeAndFrequencyMeasurementToSI
 Provenance --records--> SecondDefinitionRealisationAndMeasurementHistory
}

OPERATORS {
 SECOND(value) := time_quantity(value,Second)
 DIM(Second) := TimeDimension
 FREQUENCY(period) := 1/period
 PERIOD(frequency) := 1/frequency
 PREFIX_SECOND(prefix) := decimal_scaled_unit(Second,prefix)
 CONVERT_TIME(value,source,target) := compatible_time_conversion(value,source,target)
 REALISE_SECOND(method,conditions) := SI_consistent_time_realisation(method,conditions)
 CALIBRATE_FREQUENCY(item,reference) := frequency_calibration_relation(item,reference)
 TRACE_TIME(result) := traceability_chain_to_SI_second(result)
}

AXIOMS {
 A1 = "The second is the SI base unit of time."
 A2 = "The canonical symbol of the second is lowercase s."
 A3 = "The second has the base dimension time T."
 A4 = "The caesium-133 hyperfine transition frequency has the exact SI value 9192631770 Hz."
 A5 = "The hertz is dimensionally equivalent to the inverse second."
 A6 = "Frequency and period are reciprocal quantities for the same periodic phenomenon."
 A7 = "Practical realisation of the second is distinct from the abstract SI definition."
 A8 = "UTC and other time scales are distinct from the definition of the SI second."
 A9 = "Second reasoning requires explicit time, frequency, definition, realisation, correction, uncertainty and traceability semantics."
}

REASONING {
 R1_CONTEXT = identify(time_or_frequency_quantity,value,unit,measurement_method,reference_and_intended_use)
 R2_IDENTITY = resolve_second_prefixed_second_conventional_time_unit_or_frequency_relation)
 R3_DIMENSION = verify_quantity_kind_time_and_dimension_T_or_inverse_time_for_frequency)
 R4_DEFINITION = identify_caesium133_hyperfine_transition_frequency_relationship)
 R5_SCALE = if_prefixed_apply_exact_decimal_scaling)
 R6_CONVERSION = if_required_convert_between_compatible_time_or_frequency_units)
 R7_REALISATION = if_high_accuracy_identify_atomic_clock_frequency_standard_or_time_transfer_route)
 R8_CORRECTIONS = evaluate_environmental_relativistic_Doppler_field_and_clock_shift_effects)
 R9_UNCERTAINTY = propagate_reference_stability_resolution_transfer_correction_and_repeatability_components)
 R10_PROVENANCE = record_definition_version_clock_or_standard_method_conditions_calibration_and_traceability)
}

CONSTRAINTS {
 C1 = "The symbol s is case-sensitive."
 C2 = "Minute, hour and day are accepted for use with SI but are not SI base units."
 C3 = "UTC is a time scale and must not be conflated with the SI second."
 C4 = "Leap seconds modify UTC representation but do not redefine the SI second."
 C5 = "Frequency stability and absolute frequency accuracy are distinct."
 C6 = "High-accuracy clock comparison can require relativistic gravitational corrections."
 C7 = "Environmental perturbations can shift atomic transition frequencies."
 C8 = "Instrument resolution alone does not determine total time or frequency uncertainty."
 C9 = "Traceability to the second requires a documented frequency, time-transfer or calibration chain."
 C10 = "Historical definitions of the second must not replace the applicable modern SI definition without explicit historical context."
}

SEMANTIC_EQUIVALENCE {
 "InternationalSystemOfUnits" <=> "SI"
 "MetrologicalTraceability" <=> "MeasurementTraceability"
 "CoordinatedUniversalTime" <=> "UTC"
 "InternationalAtomicTime" <=> "TAI"
}

VALIDATION {
 V1 = "Unit identity is second and canonical symbol is s."
 V2 = "Quantity kind is time or duration where the second is used directly."
 V3 = "Base dimension is T."
 V4 = "Modern definition uses the exact caesium-133 hyperfine transition frequency."
 V5 = "Frequency relations preserve inverse-time semantics."
 V6 = "Prefixed second units use correct decimal scaling."
 V7 = "Time-scale semantics are distinguished from unit-definition semantics."
 V8 = "Relativistic and environmental 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
 SECOND_DEFINITION = 0.99
 TIME_QUANTITY_REASONING = 0.99
 DIMENSION_REASONING = 0.99
 FREQUENCY_PERIOD_REASONING = 0.99
 REALISATION_REASONING = 0.98
 TIME_SCALE_REASONING = 0.98
 RELATIVISTIC_CORRECTION_REASONING = 0.97
 TRACEABILITY_REASONING = 0.99
 POLICY = "Reduce confidence when unit identity, time or frequency quantity, realisation method, clock corrections, calibration status or traceability are underspecified."
}

AI_CONSUMPTION {
 PURPOSES = [
 SemanticSearch,OntologyGrounding,SecondReasoning,SIBaseUnitReasoning,
 TimeReasoning,TimeDimensionReasoning,CaesiumFrequencyReasoning,
 FrequencyReasoning,PeriodReasoning,AtomicClockReasoning,
 TimeMeasurementReasoning,FrequencyMetrologyReasoning,TimeScaleReasoning,
 CalibrationReasoning,RelativisticCorrectionReasoning,UncertaintyReasoning,
 TraceabilityReasoning,KnowledgeGraphConstruction,RetrievalAugmentation,
 RecursiveInference
 ]
 NORMALISE {
  "second" -> Second
  "s" -> Second
  "SI" -> InternationalSystemOfUnits
  "UTC" -> CoordinatedUniversalTime
  "TAI" -> InternationalAtomicTime
 }
}

EXECUTION_RULES {
 E1 = "If second or symbol s denotes the SI base unit of time, activate SecondOntology."
 E2 = "Confirm quantity kind time and base dimension T."
 E3 = "Use the modern caesium-133 defining-frequency relationship when formal definition semantics are required."
 E4 = "Apply SI prefixes as exact decimal scale transformations."
 E5 = "Preserve reciprocal semantics between period and frequency."
 E6 = "Distinguish the SI second from time scales such as UTC and TAI."
 E7 = "For high-accuracy time and frequency metrology, evaluate environmental and relativistic corrections."
 E8 = "Distinguish second definition from practical realisation, timekeeping and calibration."
 E9 = "Preserve uncertainty and record definition versions, reference standards, clock conditions and provenance."
}

RECURSION {
 ENTRY = Second
 EXPAND(Second) -> [
 SIBaseUnits,SIBaseUnit,SIUnits,InternationalSystemOfUnits,SI,Time,
 Duration,TimeInterval,Period,PhysicalQuantity,Quantity,QuantityKind,
 QuantityValue,TimeDimension,Dimension,BaseDimension,DimensionalSignature,
 Unit,MeasurementUnit,UnitSymbol,SecondDefinition,DefiningConstant,
 CaesiumFrequency,Caesium133HyperfineTransitionFrequency,Hertz,Frequency,
 FrequencyDimension,UnitRealisation,SecondRealisation,AtomicClock,
 CaesiumClock,CaesiumFountainClock,OpticalClockRelationship,
 FrequencyStandardRelationship,Oscillator,FrequencyCombRelationship,
 TimeMeasurement,FrequencyMeasurement,PeriodMeasurement,Synchronisation,
 Timekeeping,TAI,UTC,LeapSecondRelationship,MeasurementSystem,
 Measurement,Measurand,MeasurementResult,MeasurementUncertainty,
 Stability,AllanDeviationRelationship,Calibration,ReferenceStandard,
 TimeStandardRelationship,FrequencyStandardRelationship,
 MeasurementTraceability,Metrology,ScientificMeasurement,
 EnvironmentalCondition,GravitationalRedshiftRelationship,
 RelativisticCorrectionRelationship,DopplerShiftRelationship,SIPrefix,
 Millisecond,Microsecond,Nanosecond,MinuteRelationship,HourRelationship,
 DayRelationship,UnitConversion,SIDerivedUnit,DimensionalAnalysis,
 Verification,Validation,SecondProvenance
 ]
 EXPAND(SecondFamilies) -> [
 SecondIdentitySymbolQuantityAndDimension,
 CaesiumFrequencyDefinitionAndFrequencyPeriodSemantics,
 AtomicClocksFrequencyStandardsAndSIRealisation,
 TimeMeasurementTimeTransferAndSynchronisation,
 UTCTAIAndTimeScaleSemantics,
 EnvironmentalRelativisticAndClockCorrections,
 UncertaintyCalibrationStabilityAndTraceability,
 ValidationStandardsVersionsAndProvenance
 ]
 STOP_CONDITION = "Stop when second identity, time quantity, dimension, definition, frequency relationships, realisation, measurement, uncertainty 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 = [
 "Second -> SI Base Units for parent base-unit semantics",
 "Second -> SI Units Ontology for system-wide SI semantics",
 "Second -> Quantity and Physical Quantity ontologies for time and frequency semantics",
 "Second -> Dimension Ontology for base dimension T and inverse-time relationships",
 "Second -> Unit Ontology for prefixes and conversions",
 "Second -> Measurement and Scientific Measurement for time and frequency measurement",
 "Second -> Metrology and Reference Standard for atomic standards, calibration and traceability",
 "Second -> Measurement System for clock and counter measurement chains",
 "Second -> Measurement Uncertainty for uncertainty and stability evaluation",
 "Second -> Verification & Validation for dimensional, conversion and timekeeping checks"
 ]
}

UPDATE_MODEL {
 MODE = "append-compatible semantic versioning"
 MAJOR = "ontology-breaking conceptual change"
 MINOR = "new compatible second realisation, clock, time-scale or reasoning relationships"
 PATCH = "clarification, metadata or formatting correction"
 RULES = [
 "Preserve second-versus-time distinction.",
 "Preserve time-versus-frequency distinction.",
 "Preserve unit-versus-time-scale distinction.",
 "Preserve second-definition-versus-realisation distinction.",
 "Preserve SI-symbol case semantics.",
 "Preserve exact-definition-versus-measurement-uncertainty distinction.",
 "Preserve UTC-adjustment-versus-SI-second-definition distinction.",
 "Preserve machine-readable second semantics."
 ]
}

OUTPUT {
 CANONICAL_DEFINITION = "The second, symbol s, is the SI base unit of time and is defined through the exact SI numerical value of the caesium-133 hyperfine transition frequency."
 QUANTITY_SUMMARY = "The second expresses values of time and duration, whose base dimension is T."
 DEFINITION_SUMMARY = "The exact value Delta nu Cs = 9192631770 Hz links the second to the specified caesium-133 atomic transition."
 FREQUENCY_SUMMARY = "Frequency has inverse-time dimension and the hertz is equivalent to s^-1."
 REALISATION_SUMMARY = "Practical realisation can use caesium primary frequency standards and traceable time and frequency metrology."
 TIMESCALE_SUMMARY = "UTC, TAI and related time scales use the SI second but remain distinct from the unit definition."
 UNCERTAINTY_SUMMARY = "High-accuracy time and frequency measurements can require stability, transfer, environmental and relativistic uncertainty contributions."
 VALIDATION_SUMMARY = "Second semantics should preserve unit identity, time quantity, dimension, defining frequency, realisation, time-scale distinction, uncertainty and provenance."
}

FLOW {
 INPUT
 -> detect_second_context
 -> identify_time_or_frequency_quantity_value_unit_measurement_method_reference_and_intended_use
 -> resolve_second_prefixed_second_conventional_time_unit_or_frequency_relation
 -> verify_quantity_kind_time_and_dimension_T_or_inverse_time_for_frequency
 -> identify_caesium133_hyperfine_transition_frequency_relationship
 -> if_prefixed_apply_exact_decimal_scaling
 -> if_required_convert_between_compatible_time_or_frequency_units
 -> if_high_accuracy_identify_atomic_clock_frequency_standard_or_time_transfer_route
 -> evaluate_environmental_relativistic_Doppler_field_and_clock_shift_effects
 -> propagate_reference_stability_resolution_transfer_correction_and_repeatability_uncertainty
 -> record_definition_version_clock_or_standard_method_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-SECOND-ONTOLOGY-V1"
}

}

END_FLOW