| 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 数量 是 金融账户 的 instance |
| (domain accountAt 2 FinancialOrganization) | FinancialOntology.kif 231-231 | 帐号在 的 2 数量 是 金融机构 的 instance |
| (instance accountAt BinaryPredicate) | FinancialOntology.kif 229-229 | 帐号在 是 二元谓语 的 instance |
| (subrelation accountAt partyToAgreement) | FinancialOntology.kif 228-228 | 帐号在 是 协议的一方 的 subrelation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage accountAt "%1 %n 是被 %2 held ") | domainEnglishFormat.kif 2666-2666 | |
| (format ChineseTraditionalLanguage accountAt "%1 %n 是被 %2 held ") | domainEnglishFormat.kif 2665-2665 | |
| (format EnglishLanguage accountAt "%1 is held by %2") | domainEnglishFormat.kif 2664-2664 | |
| (termFormat ChineseLanguage accountAt "帐号在") | domainEnglishFormat.kif 5242-5242 | |
| (termFormat ChineseTraditionalLanguage accountAt "帳號在") | domainEnglishFormat.kif 5241-5241 | |
| (termFormat EnglishLanguage accountAt "account at") | domainEnglishFormat.kif 5240-5240 |
| 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 帐号 若且唯若 有存在 另一个 金融账户 这样 那个 另外 金融账户 是 有点 金融账户 的 instance 和 那个 另外 金融账户 是被 那个 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 |
|
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