TreeView Knowledge Base Browser - Calculating

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3131-3132
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12115-12116
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12114-12114	Calculating is a subclass of intentional psychological process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12131-12131	Counting is a subclass of calculating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12118-12118	Measuring is a subclass of calculating
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1149-1149
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1515-1515
No TPTP formula. May not be expressible in strict first order.	french_format.kif 827-827
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 359-359
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 362-362
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2511-2511
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 779-779
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 364-364
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 398-398
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 848-848
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 363-363

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21106-21108	If accountant is an attribute of an object, then the object is capable of doing calculating as a agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 933-942	If a physical is an instance of tax return, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of calculating and the physical is an instrument for the entity and the other entity is a result of the entity and the other entity is a transaction amount of the third entity and the third entity is an instance of tax

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

Show without tree

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