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 | agreementExpirationDate の数値 1 引数は Agreement の instance では %n |
(domain agreementExpirationDate 2 TimePoint) | Mid-level-ontology.kif 14050-14050 | agreementExpirationDate の数値 2 引数は 時点 の instance では %n |
(instance agreementExpirationDate BinaryPredicate) | Mid-level-ontology.kif 14048-14048 | agreementExpirationDate は 2進述語 の instance では %n |
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 は agreementExpirationDate の subrelation では %n |
(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 |
|