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 2758-2760 | |
(domain underlier 1 Agreement) | FinancialOntology.kif 2756-2756 | The number 1 argument of underlier is an instance of agreement |
(domain underlier 2 FinancialInstrument) | FinancialOntology.kif 2757-2757 | The number 2 argument of underlier is an instance of financial instrument |
(instance underlier BinaryPredicate) | FinancialOntology.kif 2754-2754 | underlier is an instance of binary predicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage underlier "%2 %n 是 %1 的 underlier ") | domainEnglishFormat.kif 2559-2559 | |
(format ChineseTraditionalLanguage underlier "%2 %n 是 %1 的 underlier ") | domainEnglishFormat.kif 2558-2558 | |
(format EnglishLanguage underlier "%2 is %n an underlier of %1") | domainEnglishFormat.kif 2557-2557 | |
(termFormat ChineseLanguage underlier "底层证券") | domainEnglishFormat.kif 59880-59880 | |
(termFormat ChineseTraditionalLanguage underlier "底層證券") | domainEnglishFormat.kif 59879-59879 | |
(termFormat EnglishLanguage underlier "underlier") | domainEnglishFormat.kif 59878-59878 |
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 2557-2568 |
|
![]() |
![]() |