profit - Sigma Knowledge base Browser

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 8304-8305
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8302-8302	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 8303-8303	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 8300-8300	profit is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8301-8301	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 4250-4250
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4249-4249
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4248-4248
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47655-47655
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47654-47654
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47653-47653

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

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