underlier |
appearance as argument number 1 |
(documentation underlier EnglishLanguage "(underlier ?Option ?Instrument) means that ?Instrument is a security which is subject to delivery upon exercise of ?Option.") | FinancialOntology.kif 2741-2743 | |
(domain underlier 1 Agreement) | FinancialOntology.kif 2739-2739 | 域 底層證券, 1 and 協議 |
(domain underlier 2 FinancialInstrument) | FinancialOntology.kif 2740-2740 | 域 底層證券, 2 and 金融工具 |
(instance underlier BinaryPredicate) | FinancialOntology.kif 2737-2737 | 例 底層證券 and BinaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage underlier "%2 %n 是 %1 的 underlier ") | domainEnglishFormat.kif 2563-2563 | |
(format ChineseTraditionalLanguage underlier "%2 %n 是 %1 的 underlier ") | domainEnglishFormat.kif 2562-2562 | |
(format EnglishLanguage underlier "%2 is %n an underlier of %1") | domainEnglishFormat.kif 2561-2561 | |
(termFormat ChineseLanguage underlier "底层证券") | domainEnglishFormat.kif 59888-59888 | |
(termFormat ChineseTraditionalLanguage underlier "底層證券") | domainEnglishFormat.kif 59887-59887 | |
(termFormat EnglishLanguage underlier "underlier") | domainEnglishFormat.kif 59886-59886 |
antecedent |
consequent |
(=> (property ?Option Option) (exists (?Type ?Date ?Stock ?Price) (and (or (equal ?Type CallOption) (equal ?Type PutOption)) (property ?Option ?Type) (agreementExpirationDate ?Option ?Date) (strikePrice ?Option ?Price) (underlier ?Option ?Stock) (measure ?Stock (MeasureFn 100 ShareUnit))))) |
FinancialOntology.kif 2540-2551 |