XPost: comp.theory, sci.math, comp.ai.philosophy   
   From: polcott333@gmail.com   
      
   On 11/26/2025 3:49 PM, Kaz Kylheku wrote:   
   > On 2025-11-26, Kaz Kylheku <643-408-1753@kylheku.com> wrote:   
   >> On 2025-11-26, olcott  wrote:   
   >>> "animals"  "living things" is stipulated.   
   >>   
   >> So a dead rabbit isn't an animal?   
   >   
   > How about Mickey Mouse? Living thing or not? Animal or not?   
   >   
      
   {Fictional character} is mutually exclusive with   
   {animal} in the type hierarchy.   
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   This required establishing a new foundation   
   for correct reasoning.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)