| Counting(Contar)
| |
| appearance as argument number 1 |
|
|
| (documentation Counting ChineseLanguage "这是枚举东西，它属于 Calculating Process 的 Class，它的目的是决定关于 patient 的 Number。") | chinese_format.kif 3135-3136 | |
| (documentation Counting EnglishLanguage "Enumerating something. The Class of Calculating Processes where the aim is to determine the Number corresponding to the patient.") | Merge.kif 12178-12180 | |
| (externalImage Counting "http://upload.wikimedia.org/wikipedia/commons/3/ 39/ Nixie.gif") | pictureList.kif 5937-5937 | |
| (subclass Counting Calculating) | Merge.kif 12177-12177 | Contar e' uma sub-classe de Calcular |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Counting "数") | chinese_format.kif 1151-1151 | |
| (termFormat EnglishLanguage Counting "counting") | english_format.kif 1519-1519 | |
| (termFormat FrenchLanguage Counting "compter") | french_format.kif 829-829 | |
| (termFormat Hindi Counting "ganana") | terms-hindi.txt 361-361 | |
| (termFormat ItalianLanguage Counting "Contare") | terms-it.txt 364-364 | |
| (termFormat JapaneseLanguage Counting "計数") | japanese_format.kif 2513-2513 | |
| (termFormat PortugueseLanguage Counting "Contar") | portuguese_format.kif 781-781 | |
| (termFormat cb Counting "pag-ihap") | terms-cb.txt 366-366 | |
| (termFormat cz Counting "counting") | terms-cz.txt 400-400 | |
| (termFormat ro Counting "numãrare") | relations-ro.kif 850-850 | |
| (termFormat tg Counting "bumilang") | terms-tg.txt 365-365 |
| antecedent |
|
|
| (=> (and (instance ?COUNT Counting) (agent ?COUNT ?AGENT) (patient ?COUNT ?ENTITY)) (exists (?NUMBER) (knows ?AGENT (equal (CardinalityFn ?ENTITY) ?NUMBER)))) |
Merge.kif 12182-12188 |
|
|
|