SUMO   View all facts   Glossary   Help
Entity > Physical > Process > IntentionalProcess > MentalProcess > Counting
Next MentalProcess: Learning    Up: MentalProcess    Previous MentalProcess: Comparing   

Counting comparison table
Subject documentation is a kind of have axiom
MentalProcessAn OrganismProcess involving the mind or cognitive processingIntentionalProcess
(=>
     (instance ?PROCESS MentalProcess)
     (exists (?ANIMAL)
         (and
             (instance ?ANIMAL Animal)
             (experiencer ?PROCESS ?ANIMAL))))
CountingThe Class of MentalProcesses that involve enumerating the instances of a Class or the members of a CollectionMentalProcess
(=>
    (and
       (instance ?COUNT Counting)
       (agent ?COUNT ?AGENT)
       (patient ?COUNT ?ENTITY))
    (exists (?NUMBER)
       (knows ?AGENT (equal (CardinalityFn ?ENTITY)))))

Next MentalProcess: Learning    Up: MentalProcess    Previous MentalProcess: Comparing