| 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 12161-12162 | |
| (subclass Calculating IntentionalPsychologicalProcess) | Merge.kif 12160-12160 | Calculating is a subclass of intentional psychological process |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?X Accountant) (capability Calculating agent ?X)) |
Mid-level-ontology.kif 21364-21366 |
|
| (=> (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 |
|
|
|
|