accountHolder |
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 | 帐户持有人 的 1 数量 是 金融账户 的 instance |
(domain accountHolder 2 CognitiveAgent) | FinancialOntology.kif 250-250 | 帐户持有人 的 2 数量 是 有认知的主事 的 instance |
(instance accountHolder BinaryPredicate) | FinancialOntology.kif 248-248 | 帐户持有人 是 二元谓语 的 instance |
(subrelation accountHolder partyToAgreement) | FinancialOntology.kif 247-247 | 帐户持有人 是 协议的一方 的 subrelation |
appearance as argument number 2 |
(format ChineseLanguage accountHolder "%2 持有 account %1 ") | domainEnglishFormat.kif 2682-2682 | |
(format ChineseTraditionalLanguage accountHolder "%2 持有 account %1 ") | domainEnglishFormat.kif 2681-2681 | |
(format EnglishLanguage accountHolder "%2 holds account %1") | domainEnglishFormat.kif 2680-2680 | |
(termFormat ChineseLanguage accountHolder "帐户持有人") | domainEnglishFormat.kif 5250-5250 | |
(termFormat ChineseTraditionalLanguage accountHolder "帳戶持有人") | domainEnglishFormat.kif 5249-5249 | |
(termFormat EnglishLanguage accountHolder "account holder") | domainEnglishFormat.kif 5248-5248 |
antecedent |
(<=> (and (accountHolder ?Account ?Agent) (instance ?Agent Corporation)) (instance ?Account CorporateAccount)) |
FinancialOntology.kif 1018-1022 | 有认知的主事 持有 account 金融账户 和 那个 有认知的主事 是 法人财团 的 instance 若且唯若 那个 金融账户 是 企业帐户 的 instance |
(<=> (and (accountHolder ?Account ?Agent) (instance ?Agent Human)) (instance ?Account PersonalAccount)) |
FinancialOntology.kif 996-1000 | 有认知的主事 持有 account 金融账户 和 那个 有认知的主事 是 人类 的 instance 若且唯若 那个 金融账户 是 个人账户 的 instance |
(<=> (and (instance ?Account PersonalAccount) (greaterThan (CardinalityFn (KappaFn ?Agent (accountHolder ?Account ?Agent))) 1)) (instance ?Account JointAccount)) |
FinancialOntology.kif 1007-1011 | 实体 是 个人账户 的 instance 和 符号串 所描述的类别 instance 的数量 是 greaterThan 1 若且唯若 那个 实体 是 联名账户 的 instance |
(=> (and (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (customer ?Agent ?Bank)) |
FinancialOntology.kif 3621-3625 | |
(=> (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 1212-1222 | |
(=> (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 1224-1233 | |
(=> (and (instance ?Account LiabilityAccount) (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (exists (?Debt) (and (property ?Debt Liability) (partyToAgreement ?Debt ?Agent) (partyToAgreement ?Debt ?Bank)))) |
FinancialOntology.kif 1162-1171 | |
(=> (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 1043-1052 | |
(=> (and (instance ?P PensionPlan) (accountHolder ?P ?A) (employs ?O ?A)) (financialAccount ?P ?O)) |
FinancialOntology.kif 1180-1185 | |
(=> (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 1192-1207 |
|
(=> (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 2321-2326 | 金融账户 是 金融账户 的 instance 和 有认知的主事 possesses 金融资产 和 那个 金融账户 equal 那个 金融资产 的帐号 若且唯若 那个 有认知的主事 持有 account 那个 金融账户 |
(=> (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 |
|