| appearance as argument number 1 |
|
| (documentation AccountFn EnglishLanguage "A unary function that maps a FinancialAsset to the FinancialAccount associated with the Asset.") | FinancialOntology.kif 2248-2249 | |
| (domain AccountFn 1 FinancialAsset) | FinancialOntology.kif 2246-2246 | |
| (instance AccountFn UnaryFunction) | FinancialOntology.kif 2245-2245 | |
| (range AccountFn FinancialAccount) | FinancialOntology.kif 2247-2247 |
| 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 5249-5249 | |
| (termFormat ChineseTraditionalLanguage AccountFn "帳戶") | domainEnglishFormat.kif 5248-5248 | |
| (termFormat EnglishLanguage AccountFn "account") | domainEnglishFormat.kif 5247-5247 |
| antecedent |
|
|
| (<=> (and (instance ?Account FinancialAccount) (possesses ?Agent ?Asset) (equal ?Account (AccountFn ?Asset))) (accountHolder ?Account ?Agent)) |
FinancialOntology.kif 2251-2256 | |
| (=> (and (instance ?Bond CallableBond) (currentAccountBalance (AccountFn ?Bond) ?Date ?Amount) (callDate ?Bond ?Date)) (amountDue (AccountFn ?Bond) ?Amount ?Date)) |
FinancialOntology.kif 2411-2416 | |
| (=> (and (instance ?Bond ZeroCouponBond) (maturityDate (AccountFn ?Bond) ?Date) (possesses ?BondHolder ?Bond) (principalAmount (AccountFn ?Bond) ?Principal) (agreementPeriod (AccountFn ?Bond) ?Period) (interestEarned (AccountFn ?Bond) ?Interest ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (exists (?Payment) (and (instance ?Payment Payment) (destination ?Payment ?BondHolder) (origin ?Payment (AccountFn ?Bond)) (transactionAmount ?Payment ?Total)))) |
FinancialOntology.kif 2263-2277 |
| 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 2200-2208 | |
| (=> (and (instance ?Bond CallableBond) (currentAccountBalance (AccountFn ?Bond) ?Date ?Amount) (callDate ?Bond ?Date)) (amountDue (AccountFn ?Bond) ?Amount ?Date)) |
FinancialOntology.kif 2411-2416 | |
| (=> (and (instance ?Bond ZeroCouponBond) (maturityDate (AccountFn ?Bond) ?Date) (possesses ?BondHolder ?Bond) (principalAmount (AccountFn ?Bond) ?Principal) (agreementPeriod (AccountFn ?Bond) ?Period) (interestEarned (AccountFn ?Bond) ?Interest ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (exists (?Payment) (and (instance ?Payment Payment) (destination ?Payment ?BondHolder) (origin ?Payment (AccountFn ?Bond)) (transactionAmount ?Payment ?Total)))) |
FinancialOntology.kif 2263-2277 |
|
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