optionHolder |
appearance as argument number 1 |
(documentation optionHolder EnglishLanguage "(optionHolder ?Option ?Agent) means that ?Agent is the holder of the option.") | FinancialOntology.kif 2588-2589 | |
(domain optionHolder 1 Agreement) | FinancialOntology.kif 2586-2586 | Il numero 1 argomenti di optionHolder è un istanza di Agreement |
(domain optionHolder 2 CognitiveAgent) | FinancialOntology.kif 2587-2587 | Il numero 2 argomenti di optionHolder è un istanza di AgenteCognitivo |
(instance optionHolder BinaryPredicate) | FinancialOntology.kif 2584-2584 | optionHolder è un' istanza di PredicatoBinario |
(subrelation optionHolder partyToAgreement) | FinancialOntology.kif 2583-2583 | optionHolder è una sottorelazione di partyToAgreement |
appearance as argument number 2 |
(format ChineseLanguage optionHolder "%2 holds %1 ") | domainEnglishFormat.kif 4030-4030 | |
(format ChineseTraditionalLanguage optionHolder "%2 holds %1 ") | domainEnglishFormat.kif 4029-4029 | |
(format EnglishLanguage optionHolder "%2 holds %1") | domainEnglishFormat.kif 4028-4028 | |
(termFormat ChineseLanguage optionHolder "期权持有人") | domainEnglishFormat.kif 42362-42362 | |
(termFormat ChineseTraditionalLanguage optionHolder "期權持有人") | domainEnglishFormat.kif 42361-42361 | |
(termFormat EnglishLanguage optionHolder "option holder") | domainEnglishFormat.kif 42360-42360 |
antecedent |