| appearance as argument number 1 |
|
| (documentation AccountFn EnglishLanguage "A unary function that maps a FinancialAsset to the FinancialAccount associated with the Asset.") | FinancialOntology.kif 2249-2250 | |
| (domain AccountFn 1 FinancialAsset) | FinancialOntology.kif 2247-2247 | |
| (instance AccountFn UnaryFunction) | FinancialOntology.kif 2246-2246 | |
| (range AccountFn FinancialAccount) | FinancialOntology.kif 2248-2248 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage AccountFn "the account of %1") | domainEnglishFormat.kif 18-18 | |
| (termFormat EnglishLanguage AccountFn "account") | domainEnglishFormat.kif 1308-1308 |
| antecedent |
|
|
| (<=> (and (instance ?Account FinancialAccount) (possesses ?Agent ?Asset) (equal ?Account (AccountFn ?Asset))) (accountHolder ?Account ?Agent)) |
FinancialOntology.kif 2252-2257 | |
| (=> (and (instance ?Bond CallableBond) (currentAccountBalance (AccountFn ?Bond) ?Date ?Amount) (callDate ?Bond ?Date)) (amountDue (AccountFn ?Bond) ?Amount ?Date)) |
FinancialOntology.kif 2412-2417 | |
| (=> (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 (CurrencyFn ?BondAccount)) (transactionAmount ?Payment ?Total)))) |
FinancialOntology.kif 2264-2278 |
| 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 2201-2209 | |
| (=> (and (instance ?Bond CallableBond) (currentAccountBalance (AccountFn ?Bond) ?Date ?Amount) (callDate ?Bond ?Date)) (amountDue (AccountFn ?Bond) ?Amount ?Date)) |
FinancialOntology.kif 2412-2417 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners