agreementExpirationDate |
appearance as argument number 1 |
(documentation agreementExpirationDate EnglishLanguage "(agreementExpirationDate ?AGREEMENT ?ENDDATE) means that ?ENDDATE is the date on which ?AGREEMENT is no longer ActiveAgreement.") | Mid-level-ontology.kif 14051-14053 | |
(domain agreementExpirationDate 1 Agreement) | Mid-level-ontology.kif 14049-14049 | Die Zahl 1 Argument von agreementExpirationDate ist ein fall von Agreement %n{nicht} |
(domain agreementExpirationDate 2 TimePoint) | Mid-level-ontology.kif 14050-14050 | Die Zahl 2 Argument von agreementExpirationDate ist ein fall von TimePoint %n{nicht} |
(instance agreementExpirationDate BinaryPredicate) | Mid-level-ontology.kif 14048-14048 | agreementExpirationDate ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage agreementExpirationDate "%1 有 expiration %2 ") | domainEnglishFormat.kif 2730-2730 | |
(format ChineseTraditionalLanguage agreementExpirationDate "%1 有 expiration %2 ") | domainEnglishFormat.kif 2729-2729 | |
(format EnglishLanguage agreementExpirationDate "%1 has expiration %2") | domainEnglishFormat.kif 2728-2728 | |
(subrelation maturityDate agreementExpirationDate) | FinancialOntology.kif 630-630 | maturityDate ist eine teilrelation von agreementExpirationDate |
(termFormat ChineseLanguage agreementExpirationDate "截止日期") | domainEnglishFormat.kif 22822-22822 | |
(termFormat ChineseTraditionalLanguage agreementExpirationDate "截止日期") | domainEnglishFormat.kif 22821-22821 | |
(termFormat EnglishLanguage agreementExpirationDate "expiration date") | domainEnglishFormat.kif 22820-22820 |
antecedent |
consequent |
(=> (instance ?Straddle Straddle) (exists (?Call ?Price ?Date ?Number ?Put) (and (equal (CardinalityFn (KappaFn ?Call (and (instance ?Call CallOption) (part ?Call ?Straddle)))) ?Number) (equal (CardinalityFn (KappaFn ?Put (and (instance ?Put PutOption) (part ?Put ?Straddle)))) ?Number) (forall (?Option) (=> (and (instance ?Option Option) (part ?Option ?Straddle)) (and (agreementExpirationDate ?Option ?Date) (strikePrice ?Option ?Price))))))) |
FinancialOntology.kif 3149-3173 |
|
(=> (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 |
|