| appearance as argument number 1 |
|
| (documentation accountHolder EnglishLanguage "(accountHolder ?Account ?Agent) means that ?Agent is the account holder of the FinancialAccount ?Account.") | FinancialOntology.kif 251-252 | |
| (domain accountHolder 1 FinancialAccount) | FinancialOntology.kif 249-249 | |
| (domain accountHolder 2 CognitiveAgent) | FinancialOntology.kif 250-250 | |
| (instance accountHolder BinaryPredicate) | FinancialOntology.kif 248-248 | |
| (subrelation accountHolder partyToAgreement) | FinancialOntology.kif 247-247 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage accountHolder "%2 持有 account %1 ") | domainEnglishFormat.kif 2683-2683 | |
| (format ChineseTraditionalLanguage accountHolder "%2 持有 account %1 ") | domainEnglishFormat.kif 2682-2682 | |
| (format EnglishLanguage accountHolder "%2 holds account %1") | domainEnglishFormat.kif 2681-2681 | |
| (termFormat ChineseLanguage accountHolder "帐户持有人") | domainEnglishFormat.kif 5259-5259 | |
| (termFormat ChineseTraditionalLanguage accountHolder "帳戶持有人") | domainEnglishFormat.kif 5258-5258 | |
| (termFormat EnglishLanguage accountHolder "account holder") | domainEnglishFormat.kif 5257-5257 |
| antecedent |
|
|
| (<=> (and (accountHolder ?Account ?Agent) (instance ?Agent Corporation)) (instance ?Account CorporateAccount)) |
FinancialOntology.kif 1017-1021 | |
| (<=> (and (accountHolder ?Account ?Agent) (instance ?Agent Human)) (instance ?Account PersonalAccount)) |
FinancialOntology.kif 995-999 | |
| (<=> (and (instance ?Account PersonalAccount) (greaterThan (CardinalityFn (KappaFn ?Agent (accountHolder ?Account ?Agent))) 1)) (instance ?Account JointAccount)) |
FinancialOntology.kif 1006-1010 | |
| (=> (and (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (customer ?Agent ?Bank)) |
FinancialOntology.kif 3625-3629 | |
| (=> (and (amountDue ?Account ?Amount ?DueDate) (accountHolder ?Account ?Agent)) (holdsObligation (KappaFn ?Payment (and (instance ?Payment Payment) (transactionAmount ?Payment ?Amount) (or (destination ?Payment (CurrencyFn ?Account)) (origin ?Payment (CurrencyFn ?Account))) (date ?Payment ?Date) (beforeOrEqual (EndFn ?Date) (BeginFn ?DueDate)))) ?Agent)) |
FinancialOntology.kif 655-667 | |
| (=> (and (instance ?Account CreditAccount) (accountAt ?Account ?Organization) (accountHolder ?Account ?Agent) (interestEarned ?Account ?Interest ?Period)) (exists (?Payment) (and (origin ?Payment ?Agent) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Organization)))) |
FinancialOntology.kif 1211-1221 | |
| (=> (and (instance ?Account CreditAccount) (accountHolder ?Account ?Agent) (principalAmount ?Account ?Principal) (agreementPeriod ?Account ?Period) (interestEarned ?Account ?Interest ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (holdsObligation (KappaFn ?Payment (transactionAmount ?Payment ?Total)) ?Agent)) |
FinancialOntology.kif 1223-1232 | |
| (=> (and (instance ?Account LiabilityAccount) (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (exists (?Debt) (and (property ?Debt Liability) (partyToAgreement ?Debt ?Agent) (partyToAgreement ?Debt ?Bank)))) |
FinancialOntology.kif 1161-1170 | |
| (=> (and (instance ?Account SavingsAccount) (accountHolder ?Account ?Agent) (interestEarned ?Account ?Interest ?Period)) (exists (?Payment) (and (destination ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Agent)))) |
FinancialOntology.kif 1042-1051 | |
| (=> (and (instance ?P PensionPlan) (accountHolder ?P ?A) (employs ?O ?A)) (financialAccount ?P ?O)) |
FinancialOntology.kif 1179-1184 | |
| (=> (and (instance ?PSP ProfitSharingPlan) (accountHolder ?PSP ?H) (employs ?O ?H) (profit ?A (MeasureFn ?P ?U)) (instance ?U UnitOfCurrency) (agent ?A ?O)) (exists (?C ?PAY) (and (instance ?PAY FinancialTransaction) (transactionAmount ?PAY (MeasureFn ?C ?U)) (lessThan ?C ?P) (destination ?PAY ?PSP)))) |
FinancialOntology.kif 1191-1206 | |
| (=> (and (instance ?Using UsingAnAccount) (patient ?Using ?Account) (accountHolder ?Account ?Agent)) (agent ?Using ?Agent)) |
FinancialOntology.kif 311-316 |
| consequent |
|
|
| (<=> (and (instance ?Account FinancialAccount) (possesses ?Agent ?Asset) (equal ?Account (AccountFn ?Asset))) (accountHolder ?Account ?Agent)) |
FinancialOntology.kif 2329-2334 | |
| (=> (and (instance ?Card CreditCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account CreditCardAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 218-226 | |
| (=> (and (instance ?Card DebitCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account DepositAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 203-211 | |
| (=> (and (instance ?Drawing DrawingACheck) (patient ?Drawing ?Check) (agent ?Drawing ?Agent) (checkAccount ?Check ?Account)) (accountHolder ?Account ?Agent)) |
FinancialOntology.kif 321-327 | |
| (=> (and (instance ?Opening OpeningAnAccount) (eventLocated ?Opening ?Bank) (instance ?Bank FinancialOrganization) (agent ?Opening ?Agent) (equal (WhenFn ?Opening) ?OpeningTime)) (exists (?Account ?AccountPeriod) (and (agreementPeriod ?Account ?AccountPeriod) (meetsTemporally ?OpeningTime ?AccountPeriod) (instance ?Account FinancialAccount) (accountAt ?Account ?Bank) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 293-306 |
|
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