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	Le nombre 1 argument de incomeEarned est une instance de humain
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3292-3292	Le nombre 2 argument de incomeEarned est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3293-3293	Le nombre 3 argument de incomeEarned est une instance de processus organisationnel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3290-3290	incomeEarned est une instance de pr�dicat ternaire

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 est une sous-relation de incomeEarned
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3343-3343	beforeTaxIncome est une sous-relation de incomeEarned
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3303-3303	taxDeferredIncome est une sous-relation 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 humain, nombre r�el unit� de mesure(s) and processus organisationnel amountCharged ChargingAFee and ChargingAFeeAmount unit� de mesure(s) processus organisationnel cause ChargingAFee nombre r�el est nombre r�el + ChargingAFeeAmount) afterTaxIncome humain, nombre r�el unit� de mesure(s) and processus organisationnel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3299-3301	incomeEarned humain, mesure de devise and processus organisationnel processus organisationnel est un agent de humain

consequent

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

FinancialOntology.kif 3373-3380

compensationPackage humain, mesure de devise and interval temporel
processus organisationnel processus organisationnel est une instance de Working processus organisationnel est un agent de humain interval temporel est temps d'existence de processus organisationnel incomeEarned humain, mesure de devise and processus organisationnel

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