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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Counting

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 " 39/ Nixie.gif") pictureList.kif 5937-5937
(subclass Counting Calculating) Merge.kif 12131-12131

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


        (instance ?COUNT Counting)
        (agent ?COUNT ?AGENT)
        (patient ?COUNT ?ENTITY))
    (exists (?NUMBER)
        (knows ?AGENT
                (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