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 7631-7632
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7629-7629	O argumento numero 1 de profit e' uma instancia de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7630-7630	O argumento numero 2 de profit e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7627-7627	profit e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7628-7628	profit e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4246-4246
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4245-4245
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4244-4244
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47626-47626
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47625-47625
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47624-47624

antecedent

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

FinancialOntology.kif 1192-1207

FinancialAccount e' uma instancia de ProfitSharingPlan accountHolder FinancialAccount and Agente Cognitivo AutonomousAgent emprega Agente Cognitivo profit Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency Transacao Financeira e' um agente de AutonomousAgent
Numero Real Numero RealAY Numero RealAY e' uma instancia de Transacao Financeira transactionAmount Numero RealAY and Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real Numero RealAY termina em FinancialAccount

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 501-505	Fisico e' uma instancia de Investing Fisico tem por fim Entidade profit Fisico and Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7639-7644	Fisico e' uma instancia de NonprofitOrganization Fisico tem por fim Entidade profit Fisico and Entidade

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