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 and 金融賬戶 |
(domain accountHolder 2 CognitiveAgent) | FinancialOntology.kif 250-250 | 域 帳戶持有人, 2 and CognitiveAgent |
(instance accountHolder BinaryPredicate) | FinancialOntology.kif 248-248 | 例 帳戶持有人 and BinaryPredicate |
(subrelation accountHolder partyToAgreement) | FinancialOntology.kif 247-247 | 子關係 帳戶持有人 and 協議的一方 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage accountHolder "%2 持有 account %1 ") | domainEnglishFormat.kif 2674-2674 | |
(format ChineseTraditionalLanguage accountHolder "%2 持有 account %1 ") | domainEnglishFormat.kif 2673-2673 | |
(format EnglishLanguage accountHolder "%2 holds account %1") | domainEnglishFormat.kif 2672-2672 | |
(termFormat ChineseLanguage accountHolder "帐户持有人") | domainEnglishFormat.kif 5255-5255 | |
(termFormat ChineseTraditionalLanguage accountHolder "帳戶持有人") | domainEnglishFormat.kif 5254-5254 | |
(termFormat EnglishLanguage accountHolder "account holder") | domainEnglishFormat.kif 5253-5253 |
antecedent |
![]() |
consequent |
![]() |
(<=> (and (instance ?Account FinancialAccount) (possesses ?Agent ?Asset) (equal ?Account (AccountFn ?Asset))) (accountHolder ?Account ?Agent)) |
FinancialOntology.kif 2321-2326 | 例 金融賬戶 and 金融賬戶 擁有 CognitiveAgent and 金融資產 等於 金融賬戶 and 金融資產 的帳號 CognitiveAgent 持有 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 |
![]() |
![]() |