Counting concept from the SUMO knowledge base

Next MentalProcess: Learning Up: MentalProcess Previous MentalProcess: Comparing

Next MentalProcess: Learning Up: MentalProcess Previous MentalProcess: Comparing

Counting	*documentation* The Class of MentalProcesses that involve enumerating the instances of a Class or the members of a Collection
	has axiom (=> (and (instance ?COUNT Counting) (agent ?COUNT ?AGENT) (patient ?COUNT ?ENTITY)) (exists (?NUMBER) (knows ?AGENT (equal (CardinalityFn ?ENTITY)))))
	is a kind of MentalProcess
IntentionalProcess	*is disjoint* from** NonintentionalProcess
Process	*is first domain* of** agent
	*is first domain* of** capability
	*is first domain* of** causes
	*is first domain* of** destination
	*is first domain* of** direction
	*is first domain* of** effector
	*is first domain* of** experiencer
	*is first domain* of** frequency
	*is first domain* of** hasSkill
	*is first domain* of** holdsObligation
	*is first domain* of** holdsRight
	*is first domain* of** inhibits
	*is first domain* of** instrument
	*is first domain* of** manner
	*is first domain* of** origin
	*is first domain* of** patient
	*is first domain* of** precondition
	*is first domain* of** prevents
	*is first domain* of** realization
	*is first domain* of** resource
	*is first domain* of** result
	*is first domain* of** subProcess
	*is second domain* of** causes
	*is second domain* of** inhibits
	*is second domain* of** precondition
	*is second domain* of** prevents
	*is second domain* of** subProcess