ProfitSharingPlan - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ProfitSharingPlan

ProfitSharingPlan(profit sharing plan)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1202-1204
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1201-1201	Profit sharing plan is a subclass of pension plan

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47661-47661
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47660-47660
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47659-47659

antecedent

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

FinancialOntology.kif 1206-1221

If a financial account is an instance of profit sharing plan and a cognitive agent holds account the financial account and an agent employs the cognitive agent and the profit from a financial transaction is a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the agent is an agent of the financial transaction,
then there exist another real number and the real numberAY such that the real numberAY is an instance of financial transaction and the other real number the unit of measure(s) is a transaction amount of the real numberAY and the other real number is less than the real number and the real numberAY ends up at the financial account

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

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