TreeView Knowledge Base Browser - afterTaxIncome

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - afterTaxIncome

afterTaxIncome

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3345-3346
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3342-3342	The number 1 argument of after tax income is an instance of human
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3343-3343	The number 2 argument of after tax income is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3344-3344	The number 3 argument of after tax income is an instance of organizational process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3341-3341	after tax income is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3340-3340	after tax income is a subrelation of income earned

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2710-2710
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2709-2709
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2708-2708
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5787-5787
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5786-5786
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5785-5785

consequent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 3348-3358

If a human is income earned a real number an unit of measure(s) for an organizational process and another real number the unit of measure(s) is the amount charged in a charging a fee and the organizational process causes the charging a fee and a third real number is equal to (the real number and the other real number),
then the after tax income derived by the human from the organizational process is the third real number the unit of measure(s)

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