TreeView Knowledge Base Browser - profit

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - profit

profit

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7284-7285
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7282-7282	The number 1 argument of profit is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7283-7283	The number 2 argument of profit is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7280-7280	profit is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7281-7281	profit is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4255-4255
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4254-4254
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4253-4253
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47607-47607
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47606-47606
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47605-47605

antecedent

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

FinancialOntology.kif 1191-1206

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

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 501-505	If a physical is an instance of investing, then the physical has the purpose there exists an entity such that the profit from the physical is the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7292-7297	If a physical is an instance of nonprofit organization, then the physical does not have the purpose there exists an entity such that the profit from the physical is the entity

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