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

(documentation AccountFn EnglishLanguage "A unary function that maps a FinancialAsset to the FinancialAccount associated with the Asset.")	FinancialOntology.kif 2318-2319
(domain AccountFn 1 FinancialAsset)	FinancialOntology.kif 2316-2316	AccountFn の数値 1 引数は FinancialAsset の instance では %n
(instance AccountFn UnaryFunction)	FinancialOntology.kif 2315-2315	AccountFn は 1変数関数の instance では %n
(range AccountFn FinancialAccount)	FinancialOntology.kif 2317-2317	AccountFn の range は FinancialAccount のインスタンスでは %n

appearance as argument number 2

(format ChineseLanguage AccountFn "%1 的帐号")	domainEnglishFormat.kif 36-36
(format ChineseTraditionalLanguage AccountFn "%1 的帳號")	domainEnglishFormat.kif 35-35
(format EnglishLanguage AccountFn "the account of %1")	domainEnglishFormat.kif 34-34
(termFormat ChineseLanguage AccountFn "帐户")	domainEnglishFormat.kif 5244-5244
(termFormat ChineseTraditionalLanguage AccountFn "帳戶")	domainEnglishFormat.kif 5243-5243
(termFormat EnglishLanguage AccountFn "account")	domainEnglishFormat.kif 5242-5242

antecedent

(<=> (and (instance ?Account FinancialAccount) (possesses ?Agent ?Asset) (equal ?Account (AccountFn ?Asset))) (accountHolder ?Account ?Agent))	FinancialOntology.kif 2321-2326	FinancialAccount は FinancialAccount の instance では %n 認識エージェントは FinancialAsset を possesses %n{ない} FinancialAccount は AccountFn FinancialAsset と equal では %n accountHolder FinancialAccount and 認識エージェント
(=> (and (instance ?Bond CallableBond) (currentAccountBalance (AccountFn ?Bond) ?Date ?Amount) (callDate ?Bond ?Date)) (amountDue (AccountFn ?Bond) ?Amount ?Date))	FinancialOntology.kif 2489-2494	Bond は CallableBond の instance では %n currentAccountBalance AccountFn Bond, 日 and 通貨測定 callDate Bond and 日 amountDue AccountFn Bond, 通貨測定 and 日
(=> (and (instance ?Bond ZeroCouponBond) (maturityDate (AccountFn ?Bond) ?Date) (possesses ?BondHolder ?Bond) (principalAmount (AccountFn ?Bond) (MeasureFn ?Principal ?CUNIT)) (agreementPeriod (AccountFn ?Bond) ?Period) (interestEarned (AccountFn ?Bond) (MeasureFn ?Interest ?CUNIT) ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (exists (?Payment) (and (instance ?Payment Payment) (destination ?Payment ?BondHolder) (origin ?Payment (AccountFn ?Bond)) (transactionAmount ?Payment (MeasureFn ?Total ?CUNIT)))))	FinancialOntology.kif 2333-2355	FinancialAsset は ZeroCouponBond の instance では %n maturityDate AccountFn FinancialAsset and 日 FinancialAssetHolder は FinancialAsset を possesses %n{ない} principalAmount AccountFn FinancialAsset and 実数の測定単位(s) agreementPeriod AccountFn FinancialAsset and 時間間隔 interestEarned AccountFn FinancialAsset, 実数の測定単位(s) and 時間間隔実数は ( 実数 + 実数) と equal では %n 金融取引金融取引は Payment の instance では %n 金融取引は FinancialAssetHolder に ends %n{ない} 金融取引は AccountFn FinancialAsset から originates %n{ない} transactionAmount 金融取引 and 実数の測定単位(s)

consequent

(=> (and (instance ?Bond Bond) (couponInterest ?Bond ?Interest) (possesses ?BondHolder ?Bond)) (exists (?Period ?Payment) (and (periodicPayment (AccountFn ?Bond) ?Interest ?Period) (destination ?Payment ?BondHolder))))	FinancialOntology.kif 2270-2278	Bond は Bond の instance では %n couponInterest Bond and Interest BondHolder は Bond を possesses %n{ない} 時間分工程 periodicPayment AccountFn Bond, Interest and 時間分工程は BondHolder に ends %n{ない}
(=> (and (instance ?Bond CallableBond) (currentAccountBalance (AccountFn ?Bond) ?Date ?Amount) (callDate ?Bond ?Date)) (amountDue (AccountFn ?Bond) ?Amount ?Date))	FinancialOntology.kif 2489-2494	Bond は CallableBond の instance では %n currentAccountBalance AccountFn Bond, 日 and 通貨測定 callDate Bond and 日 amountDue AccountFn Bond, 通貨測定 and 日
(=> (and (instance ?Bond ZeroCouponBond) (maturityDate (AccountFn ?Bond) ?Date) (possesses ?BondHolder ?Bond) (principalAmount (AccountFn ?Bond) (MeasureFn ?Principal ?CUNIT)) (agreementPeriod (AccountFn ?Bond) ?Period) (interestEarned (AccountFn ?Bond) (MeasureFn ?Interest ?CUNIT) ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (exists (?Payment) (and (instance ?Payment Payment) (destination ?Payment ?BondHolder) (origin ?Payment (AccountFn ?Bond)) (transactionAmount ?Payment (MeasureFn ?Total ?CUNIT)))))	FinancialOntology.kif 2333-2355	FinancialAsset は ZeroCouponBond の instance では %n maturityDate AccountFn FinancialAsset and 日 FinancialAssetHolder は FinancialAsset を possesses %n{ない} principalAmount AccountFn FinancialAsset and 実数の測定単位(s) agreementPeriod AccountFn FinancialAsset and 時間間隔 interestEarned AccountFn FinancialAsset, 実数の測定単位(s) and 時間間隔実数は ( 実数 + 実数) と equal では %n 金融取引金融取引は Payment の instance では %n 金融取引は FinancialAssetHolder に ends %n{ない} 金融取引は AccountFn FinancialAsset から originates %n{ない} transactionAmount 金融取引 and 実数の測定単位(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