| appearance as argument number 1 |
|
| (documentation AccountFn EnglishLanguage "A unary function that maps a FinancialAsset to the FinancialAccount associated with the Asset.") | FinancialOntology.kif 2335-2336 | |
| (domain AccountFn 1 FinancialAsset) | FinancialOntology.kif 2333-2333 | |
| (instance AccountFn UnaryFunction) | FinancialOntology.kif 2332-2332 | |
| (range AccountFn FinancialAccount) | FinancialOntology.kif 2334-2334 |
| 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 5253-5253 | |
| (termFormat ChineseTraditionalLanguage AccountFn "帳戶") | domainEnglishFormat.kif 5252-5252 | |
| (termFormat EnglishLanguage AccountFn "account") | domainEnglishFormat.kif 5251-5251 |
| antecedent |
|
|
| (<=> (and (instance ?Account FinancialAccount) (possesses ?Agent ?Asset) (equal ?Account (AccountFn ?Asset))) (accountHolder ?Account ?Agent)) |
FinancialOntology.kif 2338-2343 | |
| (=> (and (instance ?Bond CallableBond) (currentAccountBalance (AccountFn ?Bond) ?Date ?Amount) (callDate ?Bond ?Date)) (amountDue (AccountFn ?Bond) ?Amount ?Date)) |
FinancialOntology.kif 2506-2511 | |
| (=> (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 2350-2372 |
| 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 2287-2295 | |
| (=> (and (instance ?Bond CallableBond) (currentAccountBalance (AccountFn ?Bond) ?Date ?Amount) (callDate ?Bond ?Date)) (amountDue (AccountFn ?Bond) ?Amount ?Date)) |
FinancialOntology.kif 2506-2511 | |
| (=> (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 2350-2372 |
|
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