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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Calculating
Calculating(calculating)FIFO, LIFO, account, add, add_together, add_up, admeasure, approximation, arithmetic_operation, assess, audit, average, average_out, balance, budget_for, calculate, calculation, capitalise, capitalize, carry_back, cipher, co-vary, commute, compound, computation, compute, computing, construction, conversion, cost-plus, credit, cube, cypher, dead_reckoning, debit, decimalise, decimalize, diagonalisation, diagonalise, diagonalization, diagonalize, differentiate, differentiation, distribute, divide, estimate, estimation, extract, extrapolate, extrapolation...

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 12115-12116
(subclass Calculating IntentionalPsychologicalProcess) Merge.kif 12114-12114 Calculating is a subclass of intentional psychological process

appearance as argument number 2
-------------------------


(subclass Counting Calculating) Merge.kif 12131-12131 Counting is a subclass of calculating
(subclass Measuring Calculating) Merge.kif 12118-12118 Measuring is a subclass of calculating
(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

consequent
-------------------------


(=>
    (attribute ?X Accountant)
    (capability Calculating agent ?X))
Mid-level-ontology.kif 21106-21108
(=>
    (instance ?RETURN TaxReturn)
    (hasPurpose ?RETURN
        (exists (?CALCULATE ?AMOUNT ?TAX)
            (and
                (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