Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| optionHolder |
| appearance as argument number 1 |
|
| (subrelation optionHolder partyToAgreement) | FinancialOntology.kif 2617-2617 | option holder is a subrelation of party to agreement |
| (instance optionHolder BinaryPredicate) | FinancialOntology.kif 2618-2618 | option holder is an instance of binary predicate |
| (domain optionHolder 1 Agreement) | FinancialOntology.kif 2619-2619 | The number 1 argument of option holder is an instance of agreement |
| (domain optionHolder 2 CognitiveAgent) | FinancialOntology.kif 2620-2620 | The number 2 argument of option holder is an instance of cognitive agent |
| (documentation optionHolder EnglishLanguage "(optionHolder ?Option ?Agent) means that ?Agent is the holder of the option.") | FinancialOntology.kif 2621-2622 | The number 2 argument of option holder is an instance of cognitive agent |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage optionHolder "%2 holds %1") | domainEnglishFormat.kif 4032-4032 | |
| (format ChineseTraditionalLanguage optionHolder "%2 holds %1 ") | domainEnglishFormat.kif 4033-4033 | |
| (format ChineseLanguage optionHolder "%2 holds %1 ") | domainEnglishFormat.kif 4034-4034 | |
| (termFormat EnglishLanguage optionHolder "option holder") | domainEnglishFormat.kif 42359-42359 | |
| (termFormat ChineseTraditionalLanguage optionHolder "期權持有人") | domainEnglishFormat.kif 42360-42360 | |
| (termFormat ChineseLanguage optionHolder "期权持有人") | domainEnglishFormat.kif 42361-42361 |
| antecedent |
|
|
| (=> (optionHolder ?OPTION ?AGENT) (property ?OPTION Option)) |
FinancialOntology.kif 2624-2626 | If X holds Y, then Y the attribute option |
| (=> (and (instance ?Option CallOption) (optionHolder ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (underlier ?Option ?Stocks) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate))) (holdsRight ?Agent (exists (?Buy) (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Buy ?Agent))))) |
FinancialOntology.kif 2652-2670 | If All of the following hold: (1) X is an instance of call option (2) Y holds 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 has the right to perform %3 |
| (=> (and (instance ?Option PutOption) (optionHolder ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate)) (underlier ?Option ?Stocks)) (holdsRight ?Agent (exists (?Sell) (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Sell ?Agent))))) |
FinancialOntology.kif 2697-2714 | If All of the following hold: (1) X is an instance of put option (2) Y holds 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 has the right to perform %3 |
| (=> (and (instance ?Option AmericanStyleOption) (optionHolder ?Option ?Agent) (agreementExpirationDate ?Option ?Day)) (holdsRight ?Agent (exists (?Exercise) (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (before (EndFn (WhenFn ?Exercise)) (EndFn ?Day)))))) |
FinancialOntology.kif 2811-2823 | If X is an instance of american style option, Y holds X, and X has expiration Z, then Y has the right to perform %3 |
|