Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Counting(counting)
|  | CBC, blood_count, blood_profile, census, chalk_up, circulation, complete_blood_count, count, count_down, count_off, countdown, counting, differential_blood_count, enumerate, enumeration, foliate, itemise, itemize, list, miscount, nose_count, nosecount, number, numerate, numeration, page, paginate, poll, pollen_count, recite, reckoning, recount, sperm_count, tally |
| appearance as argument number 1 |
|
|
| (subclass Counting Calculating) | Merge.kif 12417-12417 | Counting is a subclass of calculating |
| (documentation Counting EnglishLanguage "Enumerating something. The Class of Calculating Processes where the aim is to determine the Number corresponding to the patient.") | Merge.kif 12418-12420 | Counting is a subclass of calculating |
| (externalImage Counting "http://upload.wikimedia.org/wikipedia/commons/3/ 39/ Nixie.gif") | pictureList.kif 5936-5936 | Counting is a subclass of calculating |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Counting "counting") | english_format.kif 1523-1523 |
| antecedent |
|
|
| (=> (and (instance ?COUNT Counting) (agent ?COUNT ?AGENT) (patient ?COUNT ?ENTITY)) (exists (?NUMBER) (knows ?AGENT (equal (CardinalityFn ?ENTITY) ?NUMBER)))) |
Merge.kif 12422-12428 | If X is an instance of counting, Y is an agent of X, and Z is a patient of X, then there exists W such that Y knows equal the number of instances in Z and W |
|