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 15422-15424 | |
(domain agreementExpirationDate 1 Agreement) | Mid-level-ontology.kif 15420-15420 | agreementExpirationDate の数値 1 引数は Agreement の instance では |
(domain agreementExpirationDate 2 TimePoint) | Mid-level-ontology.kif 15421-15421 | agreementExpirationDate の数値 2 引数は 時点 の instance では |
(instance agreementExpirationDate BinaryPredicate) | Mid-level-ontology.kif 15419-15419 | agreementExpirationDate は 2進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage agreementExpirationDate "%1 有 expiration %2 ") | domainEnglishFormat.kif 2726-2726 | |
(format ChineseTraditionalLanguage agreementExpirationDate "%1 有 expiration %2 ") | domainEnglishFormat.kif 2725-2725 | |
(format EnglishLanguage agreementExpirationDate "%1 has expiration %2") | domainEnglishFormat.kif 2724-2724 | |
(subrelation maturityDate agreementExpirationDate) | FinancialOntology.kif 632-632 | maturityDate は agreementExpirationDate の subrelation では |
(termFormat ChineseLanguage agreementExpirationDate "截止日期") | domainEnglishFormat.kif 22825-22825 | maturityDate は agreementExpirationDate の subrelation では |
(termFormat ChineseTraditionalLanguage agreementExpirationDate "截止日期") | domainEnglishFormat.kif 22824-22824 | maturityDate は agreementExpirationDate の subrelation では |
(termFormat EnglishLanguage agreementExpirationDate "expiration date") | domainEnglishFormat.kif 22823-22823 | maturityDate は agreementExpirationDate の subrelation では |
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 3166-3190 | |
(=> (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 |
|
![]() |
![]() |