TreeView Knowledge Base Browser - ProfitSharingPlan

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ProfitSharingPlan

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 1188-1190
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1187-1187	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 47630-47630
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47629-47629
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47628-47628

antecedent

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

FinancialOntology.kif 1192-1207

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 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