Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ConventionalOption(conventional option)
|
| appearance as argument number 1 |
|
| (subclass ConventionalOption Option) | FinancialOntology.kif 2592-2592 | Conventional option is a subclass of option |
| (documentation ConventionalOption EnglishLanguage "Short_term option contracts.") | FinancialOntology.kif 2593-2593 | Conventional option is a subclass of option |
| (externalImage ConventionalOption "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 9961-9961 | Conventional option is a subclass of option |
| (externalImage ConventionalOption "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4c/ E_ticker.jpg") | pictureList.kif 10747-10747 | Conventional option is a subclass of option |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Option ConventionalOption) (exists (?Number ?Period) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 9)))) |
FinancialOntology.kif 2595-2601 | If X is an instance of conventional option, then there exist Y and Z such that Z is an agreement period of X and duration of Z is Y month duration(s) and Y is less than 9 |
| (=> (instance ?Option ConventionalOption) (exists (?Number ?Period) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 39)))) |
FinancialOntology.kif 2609-2615 | If X is an instance of conventional option, then there exist Y and Z such that Z is an agreement period of X and duration of Z is Y month duration(s) and Y is less than 39 |
|