UpholsteredHouseholdFurnitureManufacturing
|
|
appearance as argument number 1 |
(documentation DepositAccount EnglishLanguage "An account where money is deposited for checking, savings or brokerage use.") | FinancialOntology.kif 1025-1026 | |
(subclass DepositAccount FinancialAccount) | FinancialOntology.kif 1024-1024 | 子類 存款賬戶 and 金融賬戶 |
appearance as argument number 2 |
(subclass CheckingAccount DepositAccount) | FinancialOntology.kif 1126-1126 | 子類 支票賬戶 and 存款賬戶 |
(subclass InvestmentAccount DepositAccount) | FinancialOntology.kif 1144-1144 | 子類 投資賬戶 and 存款賬戶 |
(termFormat ChineseLanguage DepositAccount "存款账户") | domainEnglishFormat.kif 19146-19146 | |
(termFormat ChineseTraditionalLanguage DepositAccount "存款賬戶") | domainEnglishFormat.kif 19145-19145 | |
(termFormat EnglishLanguage DepositAccount "deposit account") | domainEnglishFormat.kif 19144-19144 |
consequent |
(=> (and (instance ?Card DebitCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account DepositAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 203-211 |