optionSeller |
appearance as argument number 1 |
(documentation optionSeller EnglishLanguage "(optionSeller ?Option ?Agent) means that ?Agent is the writer of the option.") | FinancialOntology.kif 2601-2602 | |
(domain optionSeller 1 Agreement) | FinancialOntology.kif 2599-2599 | Die Zahl 1 Argument von optionSeller ist ein fall von Agreement %n{nicht} |
(domain optionSeller 2 CognitiveAgent) | FinancialOntology.kif 2600-2600 | Die Zahl 2 Argument von optionSeller ist ein fall von CognitiveAgent %n{nicht} |
(instance optionSeller BinaryPredicate) | FinancialOntology.kif 2597-2597 | optionSeller ist ein fall von BinaryPredicate %n{nicht} |
(subrelation optionSeller partyToAgreement) | FinancialOntology.kif 2596-2596 | optionSeller ist eine teilrelation von partyToAgreement |
appearance as argument number 2 |
(format ChineseLanguage optionSeller "%2 sells %1 ") | domainEnglishFormat.kif 4034-4034 | |
(format ChineseTraditionalLanguage optionSeller "%2 sells %1 ") | domainEnglishFormat.kif 4033-4033 | |
(format EnglishLanguage optionSeller "%2 sells %1") | domainEnglishFormat.kif 4032-4032 | |
(termFormat ChineseLanguage optionSeller "期权卖方") | domainEnglishFormat.kif 42368-42368 | |
(termFormat ChineseTraditionalLanguage optionSeller "期權賣方") | domainEnglishFormat.kif 42367-42367 | |
(termFormat EnglishLanguage optionSeller "option seller") | domainEnglishFormat.kif 42366-42366 |
antecedent |