Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

計數 (Counting)

Enumerating something. The Class of Calculating Processes where the aim is to determine the Number corresponding to the patient.

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
實體
is subclass of
  物質的  
is subclass of
  歷程  
is subclass of
  意向性歷程  
is subclass of
[tree]
實體
is subclass of
  物質的  
is subclass of
  歷程  
is subclass of
  內在改變  
is subclass of
  生物歷程  
is subclass of
  心理歷程  
is subclass of
is subclass of
  意向性心理歷程  
is subclass of
  計算  
is subclass of
  計數  

Coordinate term(s)

測量 

Related WordNet synsets

count, counting, numeration, enumeration, reckoning, tally
the act of counting
count is kind of (all)...   count is kind of...   kinds of count...   kinds of count (all)...  
See more related synsets on a separate page.

Axioms (1)

If count 是 計數 的 實例 and count 是 agent 的 施事者 and entity 是 count 的 受事者, then there exists number so that agent (不）知道s) %2. 
(=>
      (and
            (instance ?COUNT Counting)
            (agent ?COUNT ?AGENT)
            (patient ?COUNT ?ENTITY))
      (exists
            (?NUMBER)
            (knows
                  ?AGENT
                  (equal
                        (CardinalityFn ?ENTITY)
                        ?NUMBER))))