Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
siphon
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
ISO 15926-4's definition is explicitly about capability, not shape: 'a tube used to convey liquid upwards from a reservoir and then down to a lower level of its own accord... flow continues unaided' once primed. This self-sustained, unpowered uphill-then-downhill transfer is a distinguishing capability beyond generic FluidConductionFunction (which is passive, gradient-following conduction), matching the ontology's existing precedent for THERMOSYPHON entries (self-circulating via density-driven convection, no pump).
Validation status
Why primitive (necessary only)
Reviewer notes
FOL theory & disjointness
First-order logic theory (generated)
Loading…
Disjoint with
▸
Expert review
Axiomatization steps
1
Identity-Giving Function
✓ done
core coverage gap
SiphonicTransferFunction → SiphonicTransferProcess
▼
COPI-Core operation
COPI-Core coverage gap
· nearest:
MomentumTransfer
A siphon conveys liquid by gravity and atmospheric pressure once primed; it imparts no mechanical energy, so MomentumTransfer does not apply and COPI-Core has no passive fluid transport operation.
LLM rationale:
The identity-giving trait is the unpowered, self-sustaining transfer capability itself (distinguishing it from a generic FluidConductionFunction-bearing Pipe, which does not inherently move liquid uphill), grounded verbatim in the primary definition and detailed by secondary/tertiary hydrostatics sources.
▸
Expert review
2
Genus Proximus
✓ done
Pipe · MaterialArtifact
▼
Genus (genus proximum)
Most specific superclass — may be a domain class like "Valve" or an IOF-Core root.
BFO/IOF-Core Root
bfo:Object branch
bfo:ObjectAggregate branch
bfo:ImmaterialEntity branch
LLM rationale:
Parent candidates FLUID CONDUCTOR and CLOSED FLUID TRANSPORTER are not themselves enriched. Pipe (already enriched, function=FluidConductionFunction) is the closest enriched supertype and matches the physical form (a tube); the siphonic behavior is captured as a functional specialization rather than requiring a new unenriched intermediate genus.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.SiphonicTransferFunction
▼
Conditions that distinguish
Siphon
from sibling classes under genus
Pipe.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
Functional type: per the Axiom Mode Decision, the identity-giving function alone is both necessary and sufficient, following the same minimal pattern as check valve (∃bearerOf.BackflowPreventionFunction).
▸
Expert review
4
Necessary Parts
✓ done
no necessary parts
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
The commonly-cited 'short leg' / 'long leg' / 'crest' (triangulated across two independent tertiary sources) are fiat-demarcated regions of a single continuous tube, not separately assembled components -- modeling them via hasComponentPartAtAllTimes would misrepresent a mereological relation that does not hold (they are not removable/replaceable parts). The geometric asymmetry they describe is instead captured qualitatively in differentia_nl and the process signature.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfLiquid → PortionOfLiquid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Passive fluid transport (no mechanical work added, unlike a pump) fits the fluid_transport canonical term, same as the genus Pipe; the siphonic-specific detail (crossing a crest above the source) is captured in the transformation phrase and Step 3's differentia rather than a distinct transformation_kind.
▸
Expert review
More
Alternative labels
none
▼
Synonyms / alternative labels (comma-separated) — skos:altLabel
Language auto-detected on export (PT if the label contains accents, EN otherwise).
Properties as BFO qualities
no CFIHOS/DEXPI properties
▼
No CFIHOS/DEXPI properties found for this cluster.
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Siphon.
Write the restriction block in Turtle syntax (without the leading
rdfs:subClassOf).
Example: [ owl:onProperty :hasPart ; owl:someValuesFrom :Wellhead ]
Cross-standard divergences
none detected yet
▼
Click "Detect divergences" to analyse cross-standard disagreements for this cluster.
