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 2748-2750 | |
(domain underlier 1 Agreement) | FinancialOntology.kif 2746-2746 | The number 1 argument of underlier is an instance of agreement |
(domain underlier 2 FinancialInstrument) | FinancialOntology.kif 2747-2747 | The number 2 argument of underlier is an instance of financial instrument |
(instance underlier BinaryPredicate) | FinancialOntology.kif 2744-2744 | underlier is an instance of binary predicate |
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 59855-59855 | |
(termFormat ChineseTraditionalLanguage underlier "底層證券") | domainEnglishFormat.kif 59854-59854 | |
(termFormat EnglishLanguage underlier "underlier") | domainEnglishFormat.kif 59853-59853 |
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 2548-2559 |
|
![]() |
![]() |