Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - agreementExpirationDate
agreementExpirationDate

appearance as argument number 1
-------------------------


s__documentation(s__agreementExpirationDate__m,s__EnglishLanguage,'"(agreementExpirationDate ?AGREEMENT ?ENDDATE) means that ?ENDDATE is the date on which ?AGREEMENT is no longer ActiveAgreement."')

Mid-level-ontology.kif 12416-12418
s__domain(s__agreementExpirationDate__m,n__1,s__Agreement)

Mid-level-ontology.kif 12414-12414 The number 1 argument of expiration date is an instance of agreement
s__domain(s__agreementExpirationDate__m,n__2,s__TimePoint)

Mid-level-ontology.kif 12415-12415 The number 2 argument of expiration date is an instance of time point
s__instance(s__agreementExpirationDate__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 12413-12413 expiration date is an instance of binary predicate

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__agreementExpirationDate__m,'"%1 有 expiration %2 "')

domainEnglishFormat.kif 2731-2731
s__format(s__ChineseTraditionalLanguage,s__agreementExpirationDate__m,'"%1 有 expiration %2 "')

domainEnglishFormat.kif 2730-2730
s__format(s__EnglishLanguage,s__agreementExpirationDate__m,'"%1 has expiration %2"')

domainEnglishFormat.kif 2729-2729
s__subrelation(s__maturityDate__m,s__agreementExpirationDate__m)

FinancialOntology.kif 590-590 maturity date is a subrelation of expiration date
s__termFormat(s__ChineseLanguage,s__agreementExpirationDate__m,'"截止日期"')

domainEnglishFormat.kif 22815-22815
s__termFormat(s__ChineseTraditionalLanguage,s__agreementExpirationDate__m,'"截止日期"')

domainEnglishFormat.kif 22814-22814
s__termFormat(s__EnglishLanguage,s__agreementExpirationDate__m,'"expiration date"')

domainEnglishFormat.kif 22813-22813

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12420-12423
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2728-2740
( ! [V__Date,V__Exercise,V__Option] :
   (((s__instance(V__Date,s__TimeInterval) &
         s__instance(V__Date,s__TimePoint) &
         s__instance(V__Exercise,s__Physical) &
         s__instance(V__Option,s__Agreement))
       =>
       (((s__property(V__Option,s__EuropeanStyleOption) &
             s__agreementExpirationDate(V__Option,V__Date))
         =>
         (( ? [V__Period, V__Time] :
             ((s__instance(V__Time,s__TimeInterval) &
                 (s__instance(V__Period,s__TimeInterval) &
                   s__finishes(V__Period,V__Date)
                 &
                 ((s__instance(V__Exercise,s__ExerciseAnOption) &
                     (s__WhenFn(V__Exercise)
                     = V__Time))
                 =>
                 (s__temporalPart(V__Time,V__Period)))))))))))
)
)

FinancialOntology.kif 2748-2760
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2610-2626
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2564-2580
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2628-2644
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2582-2600

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3089-3113
( ! [V__Option] :
   (((s__instance(V__Option,s__Agreement) &
         s__instance(V__Option,s__FinancialInstrument))
       =>
       ((s__property(V__Option,s__Option) =>
           (( ? [V__Type, V__Date, V__Stock, V__Price] :
               ((s__instance(V__Type,s__Attribute) &
                   s__instance(V__Date,s__TimePoint) &
                   s__instance(V__Stock,s__FinancialInstrument) &
                   s__instance(V__Price,s__CurrencyMeasure) &
                   (((V__Type = s__CallOption) |
                         (V__Type = s__PutOption))
                         &
                         s__property(V__Option,V__Type)
                       &
                       s__agreementExpirationDate(V__Option,V__Date)
                     &
                     s__strikePrice(V__Option,V__Price)
                   &
                   s__underlier(V__Option,V__Stock)
                 &
                 s__measure(V__Stock,s__MeasureFn(n__100,s__ShareUnit))))))))))
)
)

FinancialOntology.kif 2481-2492


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners