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 | 域 截止日期, 1 and 協議 |
(domain agreementExpirationDate 2 TimePoint) | Mid-level-ontology.kif 14050-14050 | 域 截止日期, 2 and TimePoint |
(instance agreementExpirationDate BinaryPredicate) | Mid-level-ontology.kif 14048-14048 | 例 截止日期 and BinaryPredicate |
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 | 子關係 成人禮 and 截止日期 |
(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 |