accountHolder |
appearance as argument number 1 |
(documentation accountHolder EnglishLanguage "(accountHolder ?Account ?Agent) means that ?Agent is the account holder of the FinancialAccount ?Account.") | FinancialOntology.kif 251-252 | |
(domain accountHolder 1 FinancialAccount) | FinancialOntology.kif 249-249 | Il numero 1 argomenti di accountHolder è un istanza di FinancialAccount |
(domain accountHolder 2 CognitiveAgent) | FinancialOntology.kif 250-250 | Il numero 2 argomenti di accountHolder è un istanza di AgenteCognitivo |
(instance accountHolder BinaryPredicate) | FinancialOntology.kif 248-248 | accountHolder è un' istanza di PredicatoBinario |
(subrelation accountHolder partyToAgreement) | FinancialOntology.kif 247-247 | accountHolder è una sottorelazione di partyToAgreement |
appearance as argument number 2 |
(format ChineseLanguage accountHolder "%2 持有 account %1 ") | domainEnglishFormat.kif 2682-2682 | |
(format ChineseTraditionalLanguage accountHolder "%2 持有 account %1 ") | domainEnglishFormat.kif 2681-2681 | |
(format EnglishLanguage accountHolder "%2 holds account %1") | domainEnglishFormat.kif 2680-2680 | |
(termFormat ChineseLanguage accountHolder "帐户持有人") | domainEnglishFormat.kif 5250-5250 | |
(termFormat ChineseTraditionalLanguage accountHolder "帳戶持有人") | domainEnglishFormat.kif 5249-5249 | |
(termFormat EnglishLanguage accountHolder "account holder") | domainEnglishFormat.kif 5248-5248 |
antecedent |
consequent |