MentalProcess Comparison Table

Entity > Physical > Process > IntentionalProcess > MentalProcess

Next IntentionalProcess: OrganizationalProcess Up: IntentionalProcess Previous IntentionalProcess: Maneuver

MentalProcess comparison table

Subject documentation have axiom

Comparing The Class of MentalProcesses which involve comparing, relating, contrasting, etc. the properties of two or more Entities
(=>
(instance ?PROCESS MentalProcess)
(exists (?ANIMAL)
(and
(instance ?ANIMAL Animal)
(experiencer ?PROCESS ?ANIMAL))))

Counting The Class of MentalProcesses that involve enumerating the instances of a Class or the members of a Collection
(=>
(and
(instance ?COUNT Counting)
(agent ?COUNT ?AGENT)
(patient ?COUNT ?ENTITY))
(exists (?NUMBER)
(knows ?AGENT (equal (CardinalityFn ?ENTITY)))))

Learning The Class of Processes which relate to the acquisition of information
(=>
(instance ?ACT EducationalProcess)
(exists (?PROC)
(and
(instance ?PROC Learning)
(subProcess ?PROC ?ACT))))

Perception Sensing some aspect of the material world. Note that the agent of this sensing is assumed to be an Animal
(=>
(and
(instance ?PERCEPT Perception)
(agent ?PERCEPT ?AGENT))
(instance ?AGENT Animal))

Planning Specifying a set of actions in order to meet a set of goals or objectives
(=>
(and
(instance ?PLAN Plan)
(instance ?OBJ ContentBearingObject)
(containsInformation ?OBJ ?PLAN))
(exists (?PLANNING)
(and
(instance ?PLANNING Planning)
(result ?PLANNING ?OBJ))))

Predicting The Class of MentalProcesses which involve the formulation of a Proposition about a state of affairs which might be realized in the future
(=>
(instance ?PROCESS MentalProcess)
(exists (?ANIMAL)
(and
(instance ?ANIMAL Animal)
(experiencer ?PROCESS ?ANIMAL))))

Selecting The Class of MentalProcesses which involve opting for one or more Entity out of a larger set of Entities
(=>
(instance ?PROCESS MentalProcess)
(exists (?ANIMAL)
(and
(instance ?ANIMAL Animal)
(experiencer ?PROCESS ?ANIMAL))))

Subject	documentation	have axiom
Comparing	The Class of MentalProcesses which involve comparing, relating, contrasting, etc. the properties of two or more Entities	(=> (instance ?PROCESS MentalProcess) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (experiencer ?PROCESS ?ANIMAL))))
Counting	The Class of MentalProcesses that involve enumerating the instances of a Class or the members of a Collection	(=> (and (instance ?COUNT Counting) (agent ?COUNT ?AGENT) (patient ?COUNT ?ENTITY)) (exists (?NUMBER) (knows ?AGENT (equal (CardinalityFn ?ENTITY)))))
Learning	The Class of Processes which relate to the acquisition of information	(=> (instance ?ACT EducationalProcess) (exists (?PROC) (and (instance ?PROC Learning) (subProcess ?PROC ?ACT))))
Perception	Sensing some aspect of the material world. Note that the agent of this sensing is assumed to be an Animal	(=> (and (instance ?PERCEPT Perception) (agent ?PERCEPT ?AGENT)) (instance ?AGENT Animal))
Planning	Specifying a set of actions in order to meet a set of goals or objectives	(=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ))))
Predicting	The Class of MentalProcesses which involve the formulation of a Proposition about a state of affairs which might be realized in the future	(=> (instance ?PROCESS MentalProcess) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (experiencer ?PROCESS ?ANIMAL))))
Selecting	The Class of MentalProcesses which involve opting for one or more Entity out of a larger set of Entities	(=> (instance ?PROCESS MentalProcess) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (experiencer ?PROCESS ?ANIMAL))))

Next IntentionalProcess: OrganizationalProcess Up: IntentionalProcess Previous IntentionalProcess: Maneuver