optionSeller |
appearance as argument number 1 |
![]() |
(documentation optionSeller EnglishLanguage "(optionSeller ?Option ?Agent) means that ?Agent is the writer of the option.") | FinancialOntology.kif 2618-2619 | |
(domain optionSeller 1 Agreement) | FinancialOntology.kif 2616-2616 | |
(domain optionSeller 2 CognitiveAgent) | FinancialOntology.kif 2617-2617 | |
(instance optionSeller BinaryPredicate) | FinancialOntology.kif 2614-2614 | |
(subrelation optionSeller partyToAgreement) | FinancialOntology.kif 2613-2613 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage optionSeller "%2 sells %1 ") | domainEnglishFormat.kif 4038-4038 | |
(format ChineseTraditionalLanguage optionSeller "%2 sells %1 ") | domainEnglishFormat.kif 4037-4037 | |
(format EnglishLanguage optionSeller "%2 sells %1") | domainEnglishFormat.kif 4036-4036 | |
(termFormat ChineseLanguage optionSeller "期权卖方") | domainEnglishFormat.kif 42374-42374 | |
(termFormat ChineseTraditionalLanguage optionSeller "期權賣方") | domainEnglishFormat.kif 42373-42373 | |
(termFormat EnglishLanguage optionSeller "option seller") | domainEnglishFormat.kif 42372-42372 |
antecedent |
![]() |
(=> (and (property ?Option Option) (optionSeller ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate)) (underlier ?Option ?Stocks)) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Buy ?Agent))) ?Agent)) |
FinancialOntology.kif 2704-2720 | |
(=> (and (property ?Option Option) (optionSeller ?Option ?Seller) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (underlier ?Option ?Stocks) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate))) (holdsObligation (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Sell ?Agent))) ?Seller)) |
FinancialOntology.kif 2658-2676 | |
(=> (optionSeller ?OPTION ?AGENT) (property ?OPTION Option)) |
FinancialOntology.kif 2621-2623 |
![]() |
![]() |