|
|
  ConventionalOption
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ConventionalOption EnglishLanguage "Short-term option contracts.") | FinancialOntology.kif 2556-2556 | |
| (externalImage ConventionalOption "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4c/ E-ticker.jpg") | pictureList.kif 10749-10749 | |
| (externalImage ConventionalOption "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Boerse_01_KMJ.jpg") | pictureList.kif 9962-9962 | |
| (subAttribute ConventionalOption Option) | FinancialOntology.kif 2555-2555 | Conventional option is a subattribute of option |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ConventionalOption "传统的选择") | domainEnglishFormat.kif 17100-17100 | |
| (termFormat ChineseTraditionalLanguage ConventionalOption "傳統的選擇") | domainEnglishFormat.kif 17099-17099 | |
| (termFormat EnglishLanguage ConventionalOption "conventional option") | domainEnglishFormat.kif 17098-17098 |
| antecedent |
|
|
| (=> (property ?Option ConventionalOption) (exists (?Number ?Period) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 39)))) |
FinancialOntology.kif 2574-2580 |
|
| (=> (property ?Option ConventionalOption) (exists (?Number ?Period) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 9)))) |
FinancialOntology.kif 2558-2564 |
|
|
|
|
