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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Calculating

appearance as argument number 1

(documentation Calculating ChineseLanguage "这是一种 IntentionalPsychologicalProcesses,它 涉及考虑和/ 或操纵 Quantity 的某些实例。") chinese_format.kif 3131-3132
(documentation Calculating EnglishLanguage "IntentionalPsychologicalProcesses which involve the consideration and/ or manipulation of instances of Quantity.") Merge.kif 12137-12138
(subclass Calculating IntentionalPsychologicalProcess) Merge.kif 12136-12136

appearance as argument number 2

(subclass Counting Calculating) Merge.kif 12153-12153
(subclass Measuring Calculating) Merge.kif 12140-12140
(termFormat ChineseLanguage Calculating "计算") chinese_format.kif 1149-1149
(termFormat EnglishLanguage Calculating "calculating") english_format.kif 1515-1515
(termFormat FrenchLanguage Calculating "calculer") french_format.kif 827-827
(termFormat Hindi Calculating "pairganana") terms-hindi.txt 359-359
(termFormat ItalianLanguage Calculating "Calcolare") terms-it.txt 362-362
(termFormat JapaneseLanguage Calculating "計算") japanese_format.kif 2511-2511
(termFormat PortugueseLanguage Calculating "Calcular") portuguese_format.kif 779-779
(termFormat cb Calculating "pagkuwenta") terms-cb.txt 364-364
(termFormat cz Calculating "calculating") terms-cz.txt 398-398
(termFormat ro Calculating "calculare") relations-ro.kif 848-848
(termFormat tg Calculating "tayahin") terms-tg.txt 363-363


    (attribute ?X Accountant)
    (capability Calculating agent ?X))
Mid-level-ontology.kif 21105-21107
    (instance ?RETURN TaxReturn)
    (hasPurpose ?RETURN
        (exists (?CALCULATE ?AMOUNT ?TAX)
                (instance ?CALCULATE Calculating)
                (instrument ?CALCULATE ?RETURN)
                (result ?CALCULATE ?AMOUNT)
                (transactionAmount ?TAX ?AMOUNT)
                (instance ?TAX Tax)))))
FinancialOntology.kif 933-942

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