| appearance as argument number 1 |
|
| (documentation accountAt EnglishLanguage "(accountAt ?Account ?Bank) means that ?Account is a FinancialAccount opened in the FinancialOrganization ?Bank.") | FinancialOntology.kif 234-235 | |
| (domain accountAt 1 FinancialAccount) | FinancialOntology.kif 232-232 | |
| (domain accountAt 2 FinancialOrganization) | FinancialOntology.kif 233-233 | |
| (instance accountAt BinaryPredicate) | FinancialOntology.kif 231-231 | |
| (subrelation accountAt partyToAgreement) | FinancialOntology.kif 230-230 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage accountAt "%1 %n 是被 %2 held ") | domainEnglishFormat.kif 2670-2670 | |
| (format ChineseTraditionalLanguage accountAt "%1 %n 是被 %2 held ") | domainEnglishFormat.kif 2669-2669 | |
| (format EnglishLanguage accountAt "%1 is held by %2") | domainEnglishFormat.kif 2668-2668 | |
| (termFormat ChineseLanguage accountAt "帐号在") | domainEnglishFormat.kif 5247-5247 | |
| (termFormat ChineseTraditionalLanguage accountAt "帳號在") | domainEnglishFormat.kif 5246-5246 | |
| (termFormat EnglishLanguage accountAt "account at") | domainEnglishFormat.kif 5245-5245 |
| antecedent |
|
|
| (=> (and (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (customer ?Agent ?Bank)) |
FinancialOntology.kif 3639-3643 | |
| (=> (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 1228-1238 | |
| (=> (and (instance ?Account FinancialAccount) (accountAt ?Account ?Bank)) (exists (?Activity) (and (instance ?Activity ControllingAnAccount) (patient ?Activity ?Account) (agent ?Activity ?Bank)))) |
FinancialOntology.kif 78-86 | |
| (=> (and (instance ?Account LiabilityAccount) (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (exists (?Debt) (and (property ?Debt Liability) (partyToAgreement ?Debt ?Agent) (partyToAgreement ?Debt ?Bank)))) |
FinancialOntology.kif 1178-1187 | |
| (=> (and (instance ?Controlling ControllingAnAccount) (patient ?Controlling ?Account) (accountAt ?Account ?Bank)) (agent ?Controlling ?Bank)) |
FinancialOntology.kif 358-363 |
| consequent |
|
|
| (<=> (bankAccount ?AccountType ?Bank) (exists (?Account) (and (instance ?Account ?AccountType) (accountAt ?Account ?Bank)))) |
FinancialOntology.kif 3961-3966 | |
| (=> (and (instance ?Card BankCard) (issuedBy ?Card ?Bank)) (exists (?Account) (and (instance ?Account FinancialAccount) (cardAccount ?Card ?Account) (accountAt ?Account ?Bank)))) |
FinancialOntology.kif 190-198 | |
| (=> (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 295-308 | |
| (=> (instance ?Account FinancialAccount) (exists (?Organization) (and (instance ?Organization FinancialOrganization) (accountAt ?Account ?Organization)))) |
FinancialOntology.kif 71-76 |
|
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