Zoology Ontology

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

flow "ZoologyCoreOntology" v1.0

ENTITY ZoologyCoreOntology {
 TYPE: BiologicalOntology
 DOMAIN: Zoology
 SUBJECT: AnimalBiologicalSystems
 PURPOSE: FormalSemanticRepresentation
}

PAGE {
 TITLE: "Zoology Ontology"
 PARENT_DOMAIN: "Zoology"
 CANONICAL_URL: "https://kirethresearch.org/booksai-core/ontologies/biological-ontologies/zoology/zoology-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]
}

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 AnimalBodyPlan {
 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
}

ENTITY AnimalAnatomy {
 DESCRIBES: StructuralOrganization
 ACROSS: [Cell, Tissue, Organ, OrganSystem]
}

ENTITY AnimalPhysiology {
 DESCRIBES: FunctionalProcesses
 OF: Animal
}

PROCESS Nutrition {
 ACQUIRES_AND_PROCESSES: Nutrients
}

PROCESS Digestion {
 BREAKS_DOWN: Food
 INTO: AbsorbableComponents
}

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: [Gases, 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]
}

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

ENTITY Homeostasis {
 MAINTAINS: InternalVariables
 WITHIN: FunctionalRanges
}

PROCESS Thermoregulation {
 MODIFIES_OR_RESPONDS_TO: BodyTemperature
}

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: ApplicableTaxa
}

PROCESS AnimalReproduction {
 MAY_BE: [SexualReproduction, AsexualReproduction]
}

PROCESS SexualReproduction {
 INVOLVES: GameticContribution
}

PROCESS AsexualReproduction {
 PRODUCES: Offspring
 WITHOUT_GAMETE_FUSION
}

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: Stimulus
 USING: SensorySystem
}

ENTITY SensorySystem {
 MAY_INCLUDE: [Vision, Hearing, Olfaction, Gustation, Touch, Mechanoreception, Electroreception]
}

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 AnimalIndividual {
 IS_A: Animal
 PART_OF: AnimalPopulation
}

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
}

ENTITY Clade {
 INCLUDES: AncestorAndDescendants
 IN: PhylogeneticHypothesis
}

RULE TaxonomicConstraint {
 morphological_or_sequence_similarity != definitive_species_identity
 WITHOUT reference_resolution_and_taxonomic_context
}

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

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

RULE MeasurementContextRule {
 IF zoological_measurements ARE_COMPARED
 THEN ZoologyMeasurementContext MUST_BE preserved
}

ENTITY Evidence {
 TYPES: [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_zoology_models
  RECORD animal_taxon
  RECORD life_stage
  RECORD sex_when_relevant
  RECORD tissue_or_organ
  RECORD environment
  RECORD measurement_method
  RECORD timepoint
  RECORD provenance
  REDUCE confidence
 }
}

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

SEMANTIC_EQUIVALENCE {
 "zoology ontology" ~= "formal ontology of animal biological systems"
 "animal anatomy" ~= "structural organization of animals"
 "animal physiology" ~= "functional processes of animals"
 "invertebrate" ~= "animal lacking a vertebral column"
 "vertebrate" ~= "animal belonging to vertebrate lineage"
 "animal behaviour" ~= "observable action or response of an animal"
 "animal ecology" ~= "study of relationships between animals and their environments"
}

CONFIDENCE ZoologyAssertion {
 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 PhysiologicalFunctionInference {
 IF perturbation_or_measurement links organ_or_tissue_to defined_function
 THEN physiological_relationship MAY_BE_SUPPORTED
}

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

RULE EcologicalInteractionInference {
 IF repeated_observation_or_experiment supports effect_between_organisms
 THEN ecological_interaction 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 ZoologyOntologyLookup(context_identifier) {
 RETURN [animal_identity, body_plan, cells, tissues, organs, organ_systems, physiology, development, reproduction, genetics, behaviour, ecology, taxonomy, evidence, confidence]
}

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

QUERY AnimalOrganismLookup(animal_identifier) {
 RETURN [taxonomy, body_plan, anatomy, physiology, life_stage, reproduction, genome, behaviour, habitat, ecological_interactions, evidence, confidence]
}

UPDATE_MODEL {
 ON new_zoology_ontology_evidence:
  validate_provenance()
  identify_animal_taxon_life_stage_tissue_organ_and_environment()
  normalize_anatomical_gene_behavioural_ecological_and_taxonomic_identifiers()
  capture_measurement_method_units_and_timepoint()
  map_cell_tissue_organ_and_organ_system_relationships()
  map_nutrition_respiration_circulation_excretion_homeostasis_and_movement()
  map_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_zoology_models()
  preserve_conflicting_evidence()
  recalculate_confidence()
  regenerate_zoology_relationships()
  update_flow_hash()
}

AI_CONSUMPTION {
 MODE: FormalSemanticReasoning
 PARSE_AS: ExecutableFlowAlgebra
 PRIORITIES: [animal_identity, taxon, body_plan, cell, tissue, organ_system, physiology, development, reproduction, genetics, behaviour, ecology, evidence_provenance, confidence]
 REQUIREMENTS: [preserve_species_taxon_life_stage_and_environmental_context, preserve_tissue_organ_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 AnimalCell
 REQUIRE AnimalTissue
 REQUIRE AnimalOrgan
 REQUIRE OrganSystem
 REQUIRE AnimalBodyPlan
 REQUIRE AnimalAnatomy
 REQUIRE AnimalPhysiology
 REQUIRE AnimalGrowth
 REQUIRE AnimalDevelopment
 REQUIRE AnimalReproduction
 REQUIRE AnimalGenome
 REQUIRE AnimalBehaviour
 REQUIRE AnimalEcology
 REQUIRE AnimalTaxonomy
 REQUIRE ZoologyMeasurement
 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_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 "ZoologyCoreOntology"