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	Le nombre 1 argument de AccountFn est une instance de FinancialAsset
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2315-2315	AccountFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2317-2317	Le domaine de AccountFn est une instance 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 est une instance de FinancialAccount agent cognitif poss�de FinancialAsset FinancialAccount est AccountFn FinancialAsset accountHolder FinancialAccount and agent cognitif
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2489-2494	Bond est une instance de CallableBond currentAccountBalance AccountFn Bond, jour and mesure de devise callDate Bond and jour amountDue AccountFn Bond, mesure de devise and jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2333-2355	FinancialAsset est une instance de ZeroCouponBond maturityDate AccountFn FinancialAsset and jour FinancialAssetHolder poss�de FinancialAsset principalAmount AccountFn FinancialAsset and nombre r�el unit� de mesure(s) agreementPeriod AccountFn FinancialAsset and interval temporel interestEarned AccountFn FinancialAsset, nombre r�el unit� de mesure(s) and interval temporel nombre r�el est nombre r�el + nombre r�el) financial transaction financial transaction est une instance de Payment financial transaction aboutit � FinancialAssetHolder financial transaction a pour origine AccountFn FinancialAsset transactionAmount financial transaction and nombre r�el unit� de mesure(s)

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2270-2278	Bond est une instance de Bond couponInterest Bond and Interest BondHolder poss�de Bond dur�e temporel processus periodicPayment AccountFn Bond, Interest and dur�e temporel processus aboutit � BondHolder
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2489-2494	Bond est une instance de CallableBond currentAccountBalance AccountFn Bond, jour and mesure de devise callDate Bond and jour amountDue AccountFn Bond, mesure de devise and jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2333-2355	FinancialAsset est une instance de ZeroCouponBond maturityDate AccountFn FinancialAsset and jour FinancialAssetHolder poss�de FinancialAsset principalAmount AccountFn FinancialAsset and nombre r�el unit� de mesure(s) agreementPeriod AccountFn FinancialAsset and interval temporel interestEarned AccountFn FinancialAsset, nombre r�el unit� de mesure(s) and interval temporel nombre r�el est nombre r�el + nombre r�el) financial transaction financial transaction est une instance de Payment financial transaction aboutit � FinancialAssetHolder financial transaction a pour origine AccountFn FinancialAsset transactionAmount financial transaction and nombre r�el unit� de mesure(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