TreeView Knowledge Base Browser - incomeEarned

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - incomeEarned

incomeEarned

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3294-3297
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3291-3291	O argumento numero 1 de incomeEarned e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3292-3292	O argumento numero 2 de incomeEarned e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3293-3293	O argumento numero 3 de incomeEarned e' uma instancia de Processo Organizacional
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3290-3290	incomeEarned e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1301-1301
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1300-1300
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1299-1299
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3323-3323	afterTaxIncome e' uma sub-relacao de incomeEarned
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3343-3343	beforeTaxIncome e' uma sub-relacao de incomeEarned
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3303-3303	taxDeferredIncome e' uma sub-relacao de incomeEarned
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29533-29533
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29532-29532
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29531-29531

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3331-3341	incomeEarned Humano, Numero Real Unidade de Medida(s) and Processo Organizacional amountCharged ChargingAFee and ChargingAFeeAmount Unidade de Medida(s) Processo Organizacional causa ChargingAFee Numero Real e' igual a ( Numero Real + ChargingAFeeAmount) afterTaxIncome Humano, Numero Real Unidade de Medida(s) and Processo Organizacional
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3299-3301	incomeEarned Humano, Medida de Divisa and Processo Organizacional Processo Organizacional e' um agente de Humano

consequent

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

FinancialOntology.kif 3373-3380

compensationPackage Humano, Medida de Divisa and Intervalo Temporal
Processo Organizacional Processo Organizacional e' uma instancia de Working Processo Organizacional e' um agente de Humano Intervalo Temporal e' igual a tempo de existencia de Processo Organizacional incomeEarned Humano, Medida de Divisa and Processo Organizacional

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