| ConventionalOption(conventional option)
|
| appearance as argument number 1 |
|
| (documentation ConventionalOption EnglishLanguage "Short_term option contracts.") | FinancialOntology.kif 2570-2570 | |
| (externalImage ConventionalOption "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4c/ E_ticker.jpg") | pictureList.kif 10747-10747 | |
| (externalImage ConventionalOption "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 9961-9961 | |
| (subAttribute ConventionalOption Option) | FinancialOntology.kif 2569-2569 | Conventional option is a subattribute of option |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ConventionalOption "传统的选择") | domainEnglishFormat.kif 17115-17115 | |
| (termFormat ChineseTraditionalLanguage ConventionalOption "傳統的選擇") | domainEnglishFormat.kif 17114-17114 | |
| (termFormat EnglishLanguage ConventionalOption "conventional option") | domainEnglishFormat.kif 17113-17113 |
| antecedent |
|
|
| (=> (property ?Option ConventionalOption) (exists (?Number ?Period) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 39)))) |
FinancialOntology.kif 2588-2594 |
|
| (=> (property ?Option ConventionalOption) (exists (?Number ?Period) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 9)))) |
FinancialOntology.kif 2572-2578 |
|
|
|
|