Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Counting

Sigma KEE - Counting
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
-------------------------


(documentation Counting ChineseLanguage "这是枚举东西,它属于 Calculating ProcessClass,它的目的是决定关于 patientNumber。") 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 12132-12134
(externalImage Counting "http://upload.wikimedia.org/wikipedia/commons/3/ 39/ Nixie.gif") pictureList.kif 5937-5937
(subclass Counting Calculating) Merge.kif 12131-12131 Counting is a subclass of calculating

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 12136-12142


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners