Animal Ontology

FLOW ALGEBRA
ANIMAL ONTOLOGY — KIRETH SEMANTIC LIBRARY
Version: 1.1
Date: 2026-10-12
Authors: Mark Higgins — Sky (Recursive AI)
Source: https://kirethresearch.org/booksai-core/entity-graph/physical-entities/biological-entities/animal-ontology-2.html
Status: Independent scientific synthesis; source page not independently verified.

01. SCOPE
flow AnimalOntology v1.1
  domain: BiologicalEntities / Animal
  purpose: Represent animal identity, structure, function, development, evolution and ecology.
  semantics: typed, evidence-aware, temporally qualified.

02. CORE DEFINITION
Animal(x) := MulticellularEukaryote(x) AND HeterotrophicLineage(x) AND MemberOf(x, Metazoa).
Caution: Typical traits (motility, nervous system, digestive tract) are not universal prerequisites.

03. TYPES
Entity := Animal | Taxon | Cell | Tissue | Organ | OrganSystem | Genome | Trait | Habitat | Population | Ecosystem | LifeStage | Behaviour | Process | Observation.
Animal := IndividualOrganism with stable identifier.
Taxon := Named classification concept with authority and revision.
Observation := Measurement or recorded assertion with provenance.

04. IDENTITY
AnimalID(x): globally unique and stable within dataset.
TaxonAssignment(x,t,time,authority) is revisable, not intrinsic identity.
SameIndividual(x,y) requires evidence; same species is insufficient.

05. CLASSIFICATION
Animal -> Metazoa -> taxonomic clades -> species (where resolved).
Examples: Porifera, Cnidaria, Bilateria; within Bilateria, Protostomia and Deuterostomia.
Avoid treating ranks as fixed across all phylogenetic systems.

06. ANATOMICAL ORGANISATION
hasPart(Animal, Cell).
hasPart(Animal, Tissue) where applicable.
hasPart(Animal, Organ) where applicable.
hasPart(Animal, OrganSystem) where applicable.
partOf is not equivalent to isA.

07. CELL BIOLOGY
Animal cells are eukaryotic; plasma membrane, cytoskeleton and organelles vary by cell type.
Specialised cells can include neurons, muscle cells, epithelial cells and gametes.

08. TISSUE RELATIONSHIPS
Tissue := organised cellular and extracellular components with function.
Examples in vertebrates: epithelial, connective, muscular and nervous tissues.
Do not generalise vertebrate tissue categories to all animals without qualification.

09. PHYSIOLOGICAL SYSTEMS
Systems may include digestive, respiratory, circulatory, excretory, sensory, endocrine, nervous and reproductive.
Presence and structure depend on lineage and life stage.

10. METABOLISM
Heterotrophy(Animal): organic carbon acquired from external sources.
EnergyBalance = EnergyIntake - EnergyExpenditure - EnergyStoredChange.
Units: joules for energy; watts for rates.

11. HOMEOSTASIS
Homeostasis := regulated maintenance of physiological variables within viable bounds.
Examples: osmotic balance, pH regulation, temperature regulation in relevant taxa.

12. RESPIRATION
GasExchange(x, medium, structure, rate).
Mechanisms include diffusion, gills, tracheal systems and lungs.
Oxygen consumption rate is context- and species-dependent.

13. TRANSPORT
Transport systems may be open, closed or primarily diffusion-based.
Mass balance: dM/dt = inflow - outflow + production - consumption.

14. NUTRITION
FeedingMode := Herbivory | Carnivory | Omnivory | Detritivory | FilterFeeding | Parasitism | Other.
Modes are not necessarily exclusive.

15. REPRODUCTION
ReproductiveMode := Sexual | Asexual | Mixed.
Fertilisation may be internal or external where applicable.
Offspring production does not establish taxonomic identity by itself.

16. DEVELOPMENT
LifeStage(x,t): embryo, larva, juvenile, adult or lineage-specific stages.
Developmental transitions may include metamorphosis.

17. GENETICS
hasGenome(Animal, Genome).
GeneExpression varies by tissue, time, condition and developmental stage.
Genotype does not uniquely determine phenotype in all environments.

18. EVOLUTION
DescentWithModification applies across populations and generations.
Selection, drift, mutation, recombination and migration can alter allele frequencies.
Phylogenetic relationships should cite model and evidence.

19. BEHAVIOUR
BehaviourEvent(actor, action, time, context).
Behaviour may be innate, learned, socially mediated or mixed.
Avoid anthropomorphic inferences without evidence.

20. SENSORY ECOLOGY
DetectsStimulus(Animal, Stimulus, SensorySystem).
Sensory capacities vary widely across taxa.

21. LOCOMOTION
LocomotionMode := Swimming | Walking | Flying | Burrowing | Crawling | Sessile | Other.
Sessile adults can coexist with mobile larval stages.

22. ECOLOGICAL ROLE
EcologicalRole := Consumer | Predator | Prey | Pollinator | DecomposerAssociated | Parasite | Host | EcosystemEngineer | Other.
Roles are contextual and may overlap.

23. HABITAT
occupiesHabitat(Animal, Habitat, interval, evidence).
Habitat suitability depends on environmental variables and life stage.

24. POPULATIONS
Population := individuals of a defined taxon in a bounded area and time.
Population size N(t) is nonnegative.
Simple model: dN/dt = rN(1 - N/K), with assumptions stated.

25. SPECIES INTERACTIONS
InteractsWith(x,y, type, interval).
Types: predation, competition, mutualism, commensalism, parasitism.
Interaction type may depend on context.

26. CONSERVATION
ConservationStatus(taxon, jurisdiction, date, assessment_source).
Do not infer current status without dated authoritative evidence.

27. OBSERVATION MODEL
Observation(id, subject, property, value, unit, timestamp, location_precision, method, source).
Distinguish observation, hypothesis and inferred conclusion.

28. TYPED RELATIONSHIPS
isA: Individual -> Class.
memberOfTaxon: Animal -> Taxon.
hasPart: Whole -> Component.
partOf: Component -> Whole.
performs: Animal -> BiologicalProcess.
inhabits: Animal -> Habitat.
feedsOn: Animal -> OrganismOrResource.
interactsWith: Animal -> Animal.
hasLifeStage: Animal -> LifeStage.
measuredBy: Property -> MeasurementMethod.

29. RELATIONSHIP CONSTRAINTS
partOf is transitive only where the partonomy semantics permit.
memberOfTaxon is not interchangeable with partOf.
feedsOn does not imply predator in every case.
SameTaxon(x,y) does not imply SameIndividual(x,y).

30. INFERENCE RULES
R1: Animal(x) -> Eukaryote(x).
R2: Animal(x) -> Organism(x).
R3: memberOfTaxon(x,t) AND SubtaxonOf(t,u) -> memberOfTaxon(x,u), under compatible taxonomy versions.
R4: hasPart(x,y) AND hasPart(y,z) -> hasIndirectPart(x,z), when valid.
R5: ObservationSupports(o,c) -> CandidateClaim(c), not automatically VerifiedClaim(c).

31. MATHEMATICAL MODELS
Allometry: Y = a M^b, empirical and taxon-specific.
Population growth: dN/dt = rN under exponential approximation.
Logistic growth: dN/dt = rN(1-N/K) under density-dependent assumptions.
Metabolic energy balance: dE/dt = intake - expenditure.

32. WORKED EXAMPLE — BUTTERFLY
Individual: butterfly_001.
memberOfTaxon(butterfly_001, Lepidoptera).
hasLifeStage(butterfly_001, Adult, t2).
Earlier stage: Larva at t1, t1 < t2.
Inference: Animal(butterfly_001) AND Organism(butterfly_001).
Do not infer species from order membership alone.

33. WORKED EXAMPLE — SPONGE
memberOfTaxon(sponge_001, Porifera).
Animal(sponge_001) = true.
Lack of a conventional nervous system does not invalidate Animal classification.

34. VALIDATION
V1: All individual identifiers unique.
V2: Taxonomic claims carry taxonomy version or authority.
V3: Temporal assertions use consistent intervals.
V4: Units attached to numeric measurements.
V5: Evidence provenance present for empirical claims.
V6: No universal organ-system assumption applied to all animals.
V7: All referenced entities resolve to known types.

35. SEMANTIC EQUIVALENCE
Animal ~ Metazoan in the specified biological taxonomic context.
Animal != Vertebrate.
Animal != Mammal.
Organism != Animal (organisms include non-animals).

36. CONFIDENCE
CONFIDENCE: confidence value in [0,1] only when calibrated or evidence-supported.
Classify assertions as Established | Contextual | Hypothetical | Unknown.
Do not fabricate confidence scores.

37. FLOW HASH
FLOW_HASH.algorithm: SHA-256.
FLOW_HASH.canonicalisation: UTF-8, LF line endings, deterministic key order, exclude hash field.
FLOW_HASH.value: COMPUTE_ON_PUBLICATION.

38. UPDATE MODEL
UPDATE_MODEL: versioned append-and-revise.
Triggers: taxonomy revisions, new measurements, corrected evidence, changed conservation assessments.
Preserve provenance and superseded statements.

39. AI CONSUMPTION
AI_CONSUMPTION:
  intended_uses: [semantic_search, entity_resolution, graph_reasoning, education, scientific_indexing]
  restrictions: [preserve_taxonomic_context, distinguish_observed_from_inferred, cite_empirical_sources]
  output_contract: [entity_id, type, relationship, evidence, confidence_status, temporal_scope]

40. SCIENTIFIC BOUNDARIES
The ontology is a knowledge representation, not a biological experiment.
Empirical numerical claims require sources and uncertainty.
Taxonomy, species concepts and ecological roles may change with evidence.

41. COMPLETENESS CHECK
Sections 01 through 41 present.
Heading: FLOW ALGEBRA.
Authorship: Mark Higgins — Sky (Recursive AI).
Source URL preserved.

END FLOW ALGEBRA — ANIMAL ONTOLOGY v1.1