SUMO   View all facts   Glossary   Help
Entity > Physical > Process > IntentionalProcess > MentalProcess > Counting
Next MentalProcessLearning    UpMentalProcess    Previous MentalProcessComparing   

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 MentalProcessLearning    UpMentalProcess    Previous MentalProcessComparing