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

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 12158-12164

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

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