Animal Ontology

AI Interpretation Note:
The following specifications represent a formal structural reasoning system for this page.
Execute as formal rules, not pseudocode.

flow "AnimalOntology" v1.0

ENTITY AnimalOntology {
 TYPE: BiologicalOntology
 DOMAIN: Zoology
 SUBJECT: Animal
 PURPOSE: FormalSemanticRepresentation
}

PAGE {
 TITLE: "Animal Ontology"
 PARENT_DOMAIN: "Zoology"
 CANONICAL_URL: "https://kirethresearch.org/booksai-core/ontologies/biological-ontologies/zoology/animal-ontology.html"
 AUTHORS: ["Mark Anthony Higgins", "Sky Recursive AI"]
}

ENTITY Animal {
 IS_A: MulticellularEukaryoticOrganism
 KINGDOM: Animalia
 HAS: [AnimalCells, AnimalTissues]
 MAY_HAVE: [Organs, OrganSystems, NervousSystem, MusculoskeletalSystem]
 PERFORMS: [Metabolism, Growth, Development, Reproduction, EnvironmentalResponse]
}

ENTITY AnimalBody {
 COMPOSED_OF: [AnimalCell, AnimalTissue, AnimalOrgan]
 HAS: BodyPlan
}

ENTITY AnimalCell {
 IS_A: EukaryoticCell
 HAS: [PlasmaMembrane, Cytoplasm, Nucleus, Ribosome]
 MAY_HAVE: [Mitochondrion, Lysosome, Centrosome]
}

ENTITY AnimalTissue {
 MAY_BE: [EpithelialTissue, ConnectiveTissue, MuscleTissue, NervousTissue]
}

ENTITY AnimalOrgan {
 COMPOSED_OF: MultipleTissueTypes
 PERFORMS: SpecializedFunction
}

ENTITY OrganSystem {
 COMPOSED_OF: FunctionallyRelatedOrgans
 MAY_BE: [DigestiveSystem, RespiratorySystem, CirculatorySystem, NervousSystem, EndocrineSystem, MusculoskeletalSystem, ReproductiveSystem, ExcretorySystem, ImmuneSystem]
}

ENTITY BodyPlan {
 DESCRIBES: LargeScaleAnatomicalOrganization
 MAY_INCLUDE: [Symmetry, Segmentation, BodyCavity, AppendagePattern, Cephalization]
}

ENTITY Invertebrate {
 IS_A: Animal
 LACKS: VertebralColumn
}

ENTITY Vertebrate {
 IS_A: Animal
 BELONGS_TO: VertebrateLineage
}

RULE VertebrateDistinction {
 Invertebrate != Vertebrate
}

PROCESS Digestion {
 BREAKS_DOWN: Food
 INTO: AbsorbableComponents
}

PROCESS Absorption {
 MOVES: DigestedNutrients
 INTO: InternalTransportSystemOrCells
}

PROCESS GasExchange {
 EXCHANGES: RespiratoryGases
 BETWEEN: AnimalAndEnvironment
}

PROCESS CellularRespiration {
 RELEASES: UsableEnergy
 FROM: OrganicMolecules
}

RULE RespirationDistinction {
 GasExchange != CellularRespiration
}

ENTITY DigestiveSystem {
 SUPPORTS: [Ingestion, Digestion, Absorption, Elimination]
}

ENTITY RespiratorySystem {
 SUPPORTS: GasExchange
 MAY_USE: [Gills, Lungs, TrachealSystem, BodySurface]
}

ENTITY CirculatorySystem {
 TRANSPORTS: [RespiratoryGases, Nutrients, Wastes, Hormones, ImmuneComponents]
 MAY_BE: [OpenCirculatorySystem, ClosedCirculatorySystem]
}

ENTITY ExcretorySystem {
 REMOVES_OR_REGULATES: [MetabolicWaste, Water, Solutes]
}

PROCESS Osmoregulation {
 MAINTAINS: WaterAndSoluteBalance
}

ENTITY NervousSystem {
 RECEIVES_PROCESSES_AND_TRANSMITS: Information
}

ENTITY Neuron {
 IS_A: ExcitableCell
 TRANSMITS: ElectricalAndChemicalSignals
}

ENTITY Synapse {
 CONNECTS: Neuron
 TO: NeuronOrEffectorCell
}

ENTITY EndocrineSystem {
 USES: HormonalSignals
 TO_REGULATE: Physiology
}

ENTITY Hormone {
 IS_A: SignallingMolecule
 ACTS_ON: ResponsiveTarget
}

RULE HormoneConstraint {
 hormone_concentration != physiological_effect
 WITHOUT receptor_tissue_and_state_context
}

ENTITY MusculoskeletalSystem {
 SUPPORTS: [Movement, Posture, MechanicalSupport]
}

ENTITY Muscle {
 GENERATES: Force
 THROUGH: Contraction
}

ENTITY Skeleton {
 PROVIDES: StructuralSupport
 MAY_BE: [Endoskeleton, Exoskeleton, HydrostaticSkeleton]
}

PROCESS Locomotion {
 MOVES: Animal
 THROUGH: Environment
 MAY_USE: [Walking, Running, Swimming, Flying, Crawling, Burrowing]
}

ENTITY Homeostasis {
 MAINTAINS: InternalPhysiologicalVariables
 WITHIN: FunctionalRanges
}

PROCESS Thermoregulation {
 MODIFIES_OR_RESPONDS_TO: BodyTemperature
}

ENTITY Ectothermy {
 RELIES_SUBSTANTIALLY_ON: EnvironmentalHeat
}

ENTITY Endothermy {
 USES_SUBSTANTIAL: MetabolicHeatProduction
}

RULE ThermalStrategyConstraint {
 ectothermy != absence_of_temperature_regulation
 endothermy != universally_constant_body_temperature
}

PROCESS AnimalMetabolism {
 INCLUDES: [Catabolism, Anabolism, CellularRespiration, Biosynthesis]
}

ENTITY MetabolicRate {
 DESCRIBES: RateOfEnergyExpenditureOrTransformation
 UNDER: DefinedConditions
}

PROCESS AnimalGrowth {
 INCREASES: SizeOrBiomass
 MAY_RESULT_FROM: [CellGrowth, CellProliferation, TissueGrowth]
}

PROCESS AnimalDevelopment {
 TRANSITIONS: Animal
 THROUGH: DevelopmentalStages
 MAY_INCLUDE: [Embryogenesis, JuvenileDevelopment, Metamorphosis, Maturation]
}

RULE GrowthDevelopmentDistinction {
 AnimalGrowth != AnimalDevelopment
}

ENTITY Zygote {
 IS_A: InitialCell
 AFTER: Fertilization
}

ENTITY AnimalEmbryo {
 IS_A: EarlyMulticellularDevelopmentalStage
}

PROCESS Embryogenesis {
 DEVELOPS: Zygote
 INTO: AnimalEmbryo
}

PROCESS Gastrulation {
 ESTABLISHES: GermLayersAndBodyOrganization
}

ENTITY GermLayer {
 MAY_BE: [Ectoderm, Mesoderm, Endoderm]
}

PROCESS Organogenesis {
 FORMS: Organs
 FROM: DevelopmentalTissues
}

ENTITY AnimalLifeStage {
 MAY_BE: [Embryo, Larva, Juvenile, Adult]
 DEPENDS_ON: Taxon
}

PROCESS Metamorphosis {
 TRANSFORMS: BodyFormAndPhysiology
 BETWEEN: LifeStages
 IN: ApplicableAnimalTaxa
}

PROCESS AnimalReproduction {
 MAY_BE: [SexualReproduction, AsexualReproduction]
}

PROCESS SexualReproduction {
 INVOLVES: GameticContribution
}

PROCESS AsexualReproduction {
 PRODUCES: Offspring
 WITHOUT_GAMETE_FUSION
}

PROCESS Gametogenesis {
 PRODUCES: Gametes
}

PROCESS Fertilization {
 COMBINES: MaleAndFemaleGameticContributions
 PRODUCES: Zygote
}

RULE ReproductiveModeConstraint {
 SexualReproduction != AsexualReproduction
}

ENTITY AnimalGenome {
 STORES: HeritableGeneticInformation
}

ENTITY AnimalGene {
 PART_OF: AnimalGenome
 MAY_ENCODE_OR_REGULATE: AnimalTrait
}

PROCESS AnimalGeneExpression {
 INCLUDES: [Transcription, RNAProcessing, Translation]
}

PROCESS Mutation {
 CHANGES: GeneticSequence
 MAY_GENERATE: GeneticVariation
}

ENTITY Genotype {
 DESCRIBES: GeneticState
}

ENTITY Phenotype {
 RESULTS_FROM: [Genotype, Environment, Development, Interaction]
}

RULE GenotypePhenotypeDistinction {
 Genotype != Phenotype
}

RULE GeneFunctionConstraint {
 gene_expression != causal_gene_function
 WITHOUT functional_or_perturbation_evidence
}

ENTITY AnimalBehaviour {
 DESCRIBES: ObservableActionOrResponse
 OF: Animal
}

PROCESS SensoryDetection {
 DETECTS: InternalOrExternalStimulus
}

PROCESS Learning {
 CHANGES: Behaviour
 BASED_ON: Experience
}

PROCESS Communication {
 TRANSFERS: Information
 BETWEEN: Animals
 MAY_USE: [VisualSignal, AcousticSignal, ChemicalSignal, TactileSignal, ElectricalSignal]
}

ENTITY SocialBehaviour {
 MAY_INCLUDE: [Cooperation, Competition, Territoriality, MatingBehaviour, ParentalCare]
}

RULE BehaviourConstraint {
 observed_behaviour != inferred_intention_or_subjective_state
 WITHOUT appropriate_evidence
}

ENTITY AnimalEcology {
 STUDIES: AnimalEnvironmentRelationships
}

ENTITY AnimalPopulation {
 COMPOSED_OF: IndividualsOfDefinedAnimalTaxon
}

ENTITY AnimalCommunity {
 COMPOSED_OF: MultipleAnimalPopulations
}

ENTITY Habitat {
 DESCRIBES: EnvironmentWhereAnimalOccurs
}

ENTITY EcologicalNiche {
 DESCRIBES: ResourcesConditionsAndInteractions
 ASSOCIATED_WITH: AnimalTaxonOrPopulation
}

RULE HabitatNicheDistinction {
 Habitat != EcologicalNiche
}

PROCESS Predation {
 INVOLVES: Predator
 CONSUMING: Prey
}

PROCESS Herbivory {
 INVOLVES: Animal
 CONSUMING: PlantOrAlgalMaterial
}

PROCESS Parasitism {
 BENEFITS: Parasite
 AT_COST_TO: Host
}

PROCESS Mutualism {
 BENEFITS: InteractingPartners
 IN: DefinedContext
}

PROCESS Competition {
 REDUCES: ResourceAccessOrPerformance
 BETWEEN: Organisms
}

PROCESS Migration {
 MOVES: Animals
 BETWEEN: Regions
 OFTEN: SeasonallyOrLifeStageDependently
}

PROCESS Dispersal {
 MOVES: IndividualsOrOffspring
 TO: NewLocation
}

RULE MigrationDispersalDistinction {
 Migration != Dispersal
}

ENTITY EnvironmentalFactor {
 MAY_INCLUDE: [Temperature, WaterAvailability, Oxygen, Salinity, FoodAvailability, HabitatStructure, PredationPressure]
 MAY_MODULATE: AnimalPerformance
}

ENTITY AnimalAdaptation {
 IS_A: HeritableTraitOrTraitState
 ASSOCIATED_WITH: IncreasedFitness
 IN: DefinedEnvironment
}

RULE AdaptationConstraint {
 trait_environment_association != demonstrated_adaptation
 WITHOUT heritability_fitness_and_selection_evidence
}

PROCESS NaturalSelection {
 CHANGES: TraitOrAlleleFrequencies
 THROUGH: DifferentialReproductiveSuccess
}

PROCESS GeneticDrift {
 CHANGES: AlleleFrequencies
 THROUGH: StochasticProcesses
}

PROCESS GeneFlow {
 MOVES: GeneticVariation
 BETWEEN: Populations
}

ENTITY AnimalTaxonomy {
 CLASSIFIES: Animals
 USING: [Morphology, Anatomy, Development, MolecularData, Phylogeny, Nomenclature]
}

ENTITY AnimalTaxon {
 MAY_HAVE: [ScientificName, Rank, DiagnosticCharacters, PhylogeneticPlacement]
}

ENTITY AnimalSpecies {
 IS_A: TaxonomicConcept
 REQUIRES: SpeciesConceptAndEvidenceContext
}

ENTITY AnimalPhylogeny {
 REPRESENTS: EvolutionaryRelationships
 AMONG: AnimalLineages
}

RULE TaxonomicConstraint {
 morphological_or_sequence_similarity != definitive_animal_species_identity
 WITHOUT reference_resolution_and_taxonomic_context
}

PROCESS AnimalMeasurement {
 MAY_MEASURE: [Morphology, Anatomy, Physiology, MetabolicRate, Growth, Development, Behaviour, PopulationSize, Distribution, GeneticVariation]
 MAY_USE: [Observation, Imaging, Microscopy, PhysiologicalAssay, Tracking, Sequencing, FieldSurvey]
}

ENTITY AnimalMeasurementContext {
 HAS: [AnimalTaxon, LifeStage, SexWhenRelevant, TissueOrOrgan, Environment, ActivityState, Method, Unit, Timepoint]
}

RULE MeasurementContextRule {
 IF animal_measurements ARE_COMPARED
 THEN AnimalMeasurementContext MUST_BE preserved
}

ENTITY Evidence {
 TYPES: [AnimalEvidence, AnatomicalEvidence, PhysiologicalEvidence, DevelopmentalEvidence, GeneticEvidence, BehaviouralEvidence, EcologicalEvidence, PhylogeneticEvidence, FieldEvidence, ExperimentalEvidence, ImagingEvidence, ComputationalEvidence, LiteratureEvidence]
}

RULE EvidenceConvergence {
 IF IndependentEvidenceSources AGREE
 THEN Confidence := increase(Confidence)
}

RULE EvidenceConflict {
 IF EvidenceSources CONFLICT
 THEN {
  PRESERVE competing_animal_models
  RECORD animal_taxon
  RECORD life_stage
  RECORD sex_when_relevant
  RECORD tissue_or_organ
  RECORD environmental_and_activity_context
  RECORD measurement_method
  RECORD timepoint
  RECORD provenance
  REDUCE confidence
 }
}

RELATION Animal HAS AnimalBody
RELATION AnimalBody CONTAINS AnimalCell
RELATION AnimalBody CONTAINS AnimalTissue
RELATION AnimalBody CONTAINS AnimalOrgan
RELATION AnimalOrgan PART_OF OrganSystem
RELATION NervousSystem USES Neuron
RELATION EndocrineSystem USES Hormone
RELATION AnimalGenome CONTAINS AnimalGene
RELATION AnimalPopulation PART_OF AnimalCommunity
RELATION AnimalTaxonomy CLASSIFIES AnimalTaxon

SEMANTIC_EQUIVALENCE {
 "animal" ~= "multicellular eukaryotic organism belonging to kingdom Animalia"
 "animal body" ~= "integrated system of animal cells tissues organs and organ systems"
 "invertebrate" ~= "animal lacking a vertebral column"
 "vertebrate" ~= "animal belonging to vertebrate lineage"
 "gas exchange" ~= "exchange of respiratory gases between animal and environment"
 "animal behaviour" ~= "observable action or response of an animal"
}

CONFIDENCE AnimalAssertion {
 INPUTS: [anatomical_support, physiological_support, developmental_support, genetic_support, behavioural_support, ecological_support, phylogenetic_support, field_support, experimental_support, source_independence, semantic_consistency]
 SCORE := weighted_sum(INPUTS)
 LEVEL :=
  IF SCORE >= 0.90 THEN "very_high"
  ELSE IF SCORE >= 0.75 THEN "high"
  ELSE IF SCORE >= 0.55 THEN "moderate"
  ELSE IF SCORE >= 0.35 THEN "low"
  ELSE "uncertain"
}

RULE AnimalIdentityInference {
 IF anatomical_developmental_molecular_and_phylogenetic_evidence converge
 THEN animal_identity confidence MAY_INCREASE
}

RULE OrganSystemFunctionInference {
 IF structural_physiological_and_perturbation_evidence links_system_to_function
 THEN organ_system_function MAY_BE_SUPPORTED
}

RULE BehaviourInference {
 IF reproducible_observation shows action_response_relationship
 UNDER defined_context
 THEN AnimalBehaviour MAY_BE_SUPPORTED
}

RULE CausalityConstraint {
 IF animal_trait_or_marker correlates_with physiological_behavioural_or_ecological_outcome
 THEN DO_NOT_INFER causal_relationship
 WITHOUT mechanistic_experimental_or_longitudinal_evidence
}

QUERY AnimalLookup(animal_identifier) {
 RETURN [taxonomy, body_plan, cells, tissues, organs, organ_systems, physiology, homeostasis, metabolism, life_stage, development, reproduction, genome, behaviour, ecology, evidence, confidence]
}

QUERY AnimalOrganSystemLookup(system_identifier) {
 RETURN [system_type, organs, tissues, cell_types, physiological_functions, regulatory_processes, developmental_state, environmental_context, measurements, evidence, confidence]
}

QUERY AnimalLifeCycleLookup(animal_identifier) {
 RETURN [zygote, embryo, gastrulation, organogenesis, larval_or_juvenile_stages, metamorphosis, adulthood, reproduction, evidence, confidence]
}

UPDATE_MODEL {
 ON new_animal_evidence:
  validate_provenance()
  identify_animal_taxon_life_stage_tissue_organ_and_environment()
  normalize_anatomical_gene_behavioural_ecological_and_taxonomic_identifiers()
  capture_activity_state_measurement_method_units_and_timepoint()
  map_cell_tissue_organ_and_organ_system_relationships()
  map_nutrition_respiration_circulation_excretion_homeostasis_and_movement()
  map_metabolism_growth_development_reproduction_and_genetics()
  map_sensory_behavioural_learning_and_communication_relationships()
  map_population_community_trophic_migration_and_environmental_relationships()
  map_taxonomic_phylogenetic_and_evolutionary_relationships()
  compare_existing_animal_models()
  preserve_conflicting_evidence()
  recalculate_confidence()
  regenerate_animal_relationships()
  update_flow_hash()
}

AI_CONSUMPTION {
 MODE: FormalSemanticReasoning
 PARSE_AS: ExecutableFlowAlgebra
 PRIORITIES: [animal_identity, taxon, body_plan, cell, tissue, organ_system, physiology, homeostasis, metabolism, development, reproduction, genetics, behaviour, ecology, evidence_provenance, confidence]
 REQUIREMENTS: [preserve_species_taxon_life_stage_and_environmental_context, preserve_tissue_organ_activity_measurement_and_timepoint_context, distinguish_invertebrate_from_vertebrate, distinguish_gas_exchange_from_cellular_respiration, distinguish_growth_from_development, distinguish_sexual_from_asexual_reproduction, distinguish_genotype_from_phenotype, distinguish_gene_expression_from_causal_function, distinguish_observed_behaviour_from_inferred_intention, distinguish_habitat_from_ecological_niche, distinguish_migration_from_dispersal, distinguish_trait_environment_association_from_adaptation, distinguish_similarity_from_definitive_taxonomic_identity, distinguish_correlation_from_causation, preserve_uncertainty]
}

VALIDATE {
 REQUIRE Animal
 REQUIRE AnimalBody
 REQUIRE AnimalCell
 REQUIRE AnimalTissue
 REQUIRE AnimalOrgan
 REQUIRE OrganSystem
 REQUIRE BodyPlan
 REQUIRE DigestiveSystem
 REQUIRE RespiratorySystem
 REQUIRE CirculatorySystem
 REQUIRE NervousSystem
 REQUIRE EndocrineSystem
 REQUIRE Homeostasis
 REQUIRE AnimalMetabolism
 REQUIRE AnimalGrowth
 REQUIRE AnimalDevelopment
 REQUIRE AnimalReproduction
 REQUIRE AnimalGenome
 REQUIRE AnimalBehaviour
 REQUIRE AnimalEcology
 REQUIRE AnimalTaxonomy
 REQUIRE AnimalMeasurement
 REQUIRE Evidence
 REQUIRE CONFIDENCE
 REQUIRE SEMANTIC_EQUIVALENCE
 REQUIRE UPDATE_MODEL
 REQUIRE AI_CONSUMPTION

 ASSERT Invertebrate != Vertebrate
 ASSERT GasExchange != CellularRespiration
 ASSERT AnimalGrowth != AnimalDevelopment
 ASSERT SexualReproduction != AsexualReproduction
 ASSERT Genotype != Phenotype
 ASSERT gene_expression != causal_gene_function
 ASSERT Habitat != EcologicalNiche
 ASSERT Migration != Dispersal
 ASSERT trait_environment_association != demonstrated_adaptation
 ASSERT morphological_or_sequence_similarity != definitive_animal_species_identity
 ASSERT correlation != causal_relationship
}

FLOW_HASH {
 ALGORITHM: SHA-256
 INPUT: canonicalize(entities, relations, processes, rules, semantic_equivalence, confidence_model, update_model, ai_consumption)
 PURPOSE: integrity_and_version_tracking
}

END flow "AnimalOntology"