accountAt |
appearance as argument number 1 |
(documentation accountAt EnglishLanguage "(accountAt ?Account ?Bank) means that ?Account is a FinancialAccount opened in the FinancialOrganization ?Bank.") | FinancialOntology.kif 232-233 | |
(domain accountAt 1 FinancialAccount) | FinancialOntology.kif 230-230 | 域 帳號在, 1 and 金融賬戶 |
(domain accountAt 2 FinancialOrganization) | FinancialOntology.kif 231-231 | 域 帳號在, 2 and 金融機構 |
(instance accountAt BinaryPredicate) | FinancialOntology.kif 229-229 | 例 帳號在 and BinaryPredicate |
(subrelation accountAt partyToAgreement) | FinancialOntology.kif 228-228 | 子關係 帳號在 and 協議的一方 |
appearance as argument number 2 |
(format ChineseLanguage accountAt "%1 %n 是被 %2 held ") | domainEnglishFormat.kif 2674-2674 | |
(format ChineseTraditionalLanguage accountAt "%1 %n 是被 %2 held ") | domainEnglishFormat.kif 2673-2673 | |
(format EnglishLanguage accountAt "%1 is held by %2") | domainEnglishFormat.kif 2672-2672 | |
(termFormat ChineseLanguage accountAt "帐号在") | domainEnglishFormat.kif 5238-5238 | |
(termFormat ChineseTraditionalLanguage accountAt "帳號在") | domainEnglishFormat.kif 5237-5237 | |
(termFormat EnglishLanguage accountAt "account at") | domainEnglishFormat.kif 5236-5236 |
antecedent |
(=> (and (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (customer ?Agent ?Bank)) |
FinancialOntology.kif 3621-3625 |
|
(=> (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 FinancialAccount) (accountAt ?Account ?Bank)) (exists (?Activity) (and (instance ?Activity ControllingAnAccount) (patient ?Activity ?Account) (agent ?Activity ?Bank)))) |
FinancialOntology.kif 76-84 | |
(=> (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 ?Controlling ControllingAnAccount) (patient ?Controlling ?Account) (accountAt ?Account ?Bank)) (agent ?Controlling ?Bank)) |
FinancialOntology.kif 356-361 |
consequent |
(<=> (bankAccount ?AccountType ?Bank) (exists (?Account) (and (instance ?Account ?AccountType) (accountAt ?Account ?Bank)))) |
FinancialOntology.kif 3943-3948 | BankFinancialOrganization 是 金融賬戶 的 bank 帳號 金融賬戶 例 金融賬戶 and 金融賬戶 金融賬戶 是被 BankFinancialOrganization held |
(=> (and (instance ?Card BankCard) (issuedBy ?Card ?Bank)) (exists (?Account) (and (instance ?Account FinancialAccount) (cardAccount ?Card ?Account) (accountAt ?Account ?Bank)))) |
FinancialOntology.kif 188-196 | |
(=> (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 | |
(=> (instance ?Account FinancialAccount) (exists (?Organization) (and (instance ?Organization FinancialOrganization) (accountAt ?Account ?Organization)))) |
FinancialOntology.kif 69-74 |