Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| optionSeller |
| appearance as argument number 1 |
|
| (subrelation optionSeller partyToAgreement) | FinancialOntology.kif 2628-2628 | option seller is a subrelation of party to agreement |
| (instance optionSeller BinaryPredicate) | FinancialOntology.kif 2629-2629 | option seller is an instance of binary predicate |
| (domain optionSeller 1 Agreement) | FinancialOntology.kif 2630-2630 | The number 1 argument of option seller is an instance of agreement |
| (domain optionSeller 2 CognitiveAgent) | FinancialOntology.kif 2631-2631 | The number 2 argument of option seller is an instance of cognitive agent |
| (documentation optionSeller EnglishLanguage "(optionSeller ?Option ?Agent) means that ?Agent is the writer of the option.") | FinancialOntology.kif 2632-2633 | The number 2 argument of option seller is an instance of cognitive agent |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage optionSeller "%2 sells %1") | domainEnglishFormat.kif 4036-4036 | |
| (format ChineseTraditionalLanguage optionSeller "%2 sells %1 ") | domainEnglishFormat.kif 4037-4037 | |
| (format ChineseLanguage optionSeller "%2 sells %1 ") | domainEnglishFormat.kif 4038-4038 | |
| (termFormat EnglishLanguage optionSeller "option seller") | domainEnglishFormat.kif 42365-42365 | |
| (termFormat ChineseTraditionalLanguage optionSeller "期權賣方") | domainEnglishFormat.kif 42366-42366 | |
| (termFormat ChineseLanguage optionSeller "期权卖方") | domainEnglishFormat.kif 42367-42367 |
| antecedent |
|
|
| (=> (optionSeller ?OPTION ?AGENT) (property ?OPTION Option)) |
FinancialOntology.kif 2635-2637 | If X sells Y, then Y the attribute option |
| (=> (and (instance ?Option CallOption) (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 ?Seller (exists (?Sell) (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Sell ?Agent))))) |
FinancialOntology.kif 2672-2689 | If All of the following hold: (1) X is an instance of call option (2) Y sells X (3) Z is a strike price of X (4) X has expiration W (5) V is an underlier of X (6) V is price Z for U (7) U is an instance of timeframe (8) the end of U happens before the beginning of W, then Y is obliged to perform tasks of type there exists T such that T is an instance of selling and V is a patient of T and T exists during U and the measure of V is 100 share unit(s) and S is an agent of T |
| (=> (and (instance ?Option PutOption) (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 ?Agent (exists (?Buy) (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Buy ?Agent))))) |
FinancialOntology.kif 2716-2734 | If All of the following hold: (1) X is an instance of put option (2) Y sells X (3) Z is a strike price of X (4) X has expiration W (5) V is price Z for U (6) U is an instance of timeframe (7) the end of U happens before the beginning of W (8) V is an underlier of X, then Y is obliged to perform tasks of type there exists T such that T is an instance of buying and V is a patient of T and T exists during U and the measure of V is 100 share unit(s) and Y is an agent of T |
|