financialAccount |
appearance as argument number 1 |
(documentation financialAccount EnglishLanguage "A formal banking, brokerage, or business relationship established to provide for regular services, dealings, and other financial transactions. (financialAccount ?ACCOUNT ?ORG) means that ?ACCOUNT is a financial account opened at the FinancialCompany ?ORG.") | FinancialOntology.kif 3796-3800 | |
(domain financialAccount 1 FinancialAccount) | FinancialOntology.kif 3801-3801 | Il numero 1 argomenti di financialAccount è un istanza di FinancialAccount |
(domain financialAccount 2 FinancialCompany) | FinancialOntology.kif 3802-3802 | Il numero 2 argomenti di financialAccount è un istanza di FinancialCompany |
(instance financialAccount BinaryPredicate) | FinancialOntology.kif 3803-3803 | financialAccount è un' istanza di PredicatoBinario |
(subrelation financialAccount partyToAgreement) | FinancialOntology.kif 3804-3804 | financialAccount è una sottorelazione di partyToAgreement |
appearance as argument number 2 |
(format ChineseLanguage financialAccount "%2 %n 是 %1 的 financial 帐号") | domainEnglishFormat.kif 1003-1003 | |
(format ChineseTraditionalLanguage financialAccount "%2 %n 是 %1 的 financial 帳號") | domainEnglishFormat.kif 1002-1002 | |
(format EnglishLanguage financialAccount "%2 is %n a financial account of %1") | domainEnglishFormat.kif 1001-1001 | |
(termFormat EnglishLanguage financialAccount "financial account") | domainEnglishFormat.kif 65831-65831 |
consequent |
(=> (and (instance ?P PensionPlan) (accountHolder ?P ?A) (employs ?O ?A)) (financialAccount ?P ?O)) |
FinancialOntology.kif 1180-1185 |