Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass Calculating IntentionalPsychologicalProcess) | Merge.kif 12400-12400 | Calculating is a subclass of intentional psychological process |
| (documentation Calculating EnglishLanguage "IntentionalPsychologicalProcesses which involve the consideration and/ or manipulation of instances of Quantity.") | Merge.kif 12401-12402 | Calculating is a subclass of intentional psychological process |
| appearance as argument number 2 |
|
|
| (subclass Measuring Calculating) | Merge.kif 12404-12404 | Measuring is a subclass of calculating |
| (subclass Counting Calculating) | Merge.kif 12417-12417 | Counting is a subclass of calculating |
| (termFormat EnglishLanguage Calculating "calculating") | english_format.kif 1519-1519 | Counting is a subclass of calculating |
| consequent |
|
|
| (=> (attribute ?X Accountant) (capability Calculating agent ?X)) |
Mid-level-ontology.kif 23348-23350 | If accountant is an attribute of X, then X is capable of doing calculating as a agent |
| (=> (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 955-964 | If X is an instance of tax return, then X has the purpose there exist Y, Z, W such that Y is an instance of calculating, X is an instrument for Y, Z is a result of Y, Z is a transaction amount of W, and W is an instance of tax |
|