TreeView Knowledge Base Browser - AccountFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AccountFn

AccountFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2318-2319
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2316-2316	O argumento numero 1 de AccountFn e' uma instancia de FinancialAsset
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2315-2315	AccountFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2317-2317	O contra-dominio de AccountFn e' uma instancia de FinancialAccount

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36-36
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35-35
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34-34
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5244-5244
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5243-5243
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5242-5242

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2321-2326	FinancialAccount e' uma instancia de FinancialAccount Agente Cognitivo possui FinancialAsset FinancialAccount e' igual a AccountFn FinancialAsset accountHolder FinancialAccount and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2489-2494	Bond e' uma instancia de CallableBond currentAccountBalance AccountFn Bond, Dia and Medida de Divisa callDate Bond and Dia amountDue AccountFn Bond, Medida de Divisa and Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2333-2355	FinancialAsset e' uma instancia de ZeroCouponBond maturityDate AccountFn FinancialAsset and Dia FinancialAssetHolder possui FinancialAsset principalAmount AccountFn FinancialAsset and Numero Real Unidade de Medida(s) agreementPeriod AccountFn FinancialAsset and Intervalo Temporal interestEarned AccountFn FinancialAsset, Numero Real Unidade de Medida(s) and Intervalo Temporal Numero Real e' igual a ( Numero Real + Numero Real) Transacao Financeira Transacao Financeira e' uma instancia de Payment Transacao Financeira termina em FinancialAssetHolder Transacao Financeira tem como origem AccountFn FinancialAsset transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s)

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2270-2278	Bond e' uma instancia de Bond couponInterest Bond and Interest BondHolder possui Bond Duracao Temporal Processo periodicPayment AccountFn Bond, Interest and Duracao Temporal Processo termina em BondHolder
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2489-2494	Bond e' uma instancia de CallableBond currentAccountBalance AccountFn Bond, Dia and Medida de Divisa callDate Bond and Dia amountDue AccountFn Bond, Medida de Divisa and Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2333-2355	FinancialAsset e' uma instancia de ZeroCouponBond maturityDate AccountFn FinancialAsset and Dia FinancialAssetHolder possui FinancialAsset principalAmount AccountFn FinancialAsset and Numero Real Unidade de Medida(s) agreementPeriod AccountFn FinancialAsset and Intervalo Temporal interestEarned AccountFn FinancialAsset, Numero Real Unidade de Medida(s) and Intervalo Temporal Numero Real e' igual a ( Numero Real + Numero Real) Transacao Financeira Transacao Financeira e' uma instancia de Payment Transacao Financeira termina em FinancialAssetHolder Transacao Financeira tem como origem AccountFn FinancialAsset transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s)

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