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
-------------------------


(documentation agreementExpirationDate EnglishLanguage "(agreementExpirationDate ?AGREEMENT ?ENDDATE) means that ?ENDDATE is the date on which ?AGREEMENT is no longer ActiveAgreement.") Mid-level-ontology.kif 13897-13899
(domain agreementExpirationDate 1 Agreement) Mid-level-ontology.kif 13895-13895 The number 1 argument of expiration date is an instance of agreement
(domain agreementExpirationDate 2 TimePoint) Mid-level-ontology.kif 13896-13896 The number 2 argument of expiration date is an instance of time point
(instance agreementExpirationDate BinaryPredicate) Mid-level-ontology.kif 13894-13894 expiration date is an instance of binary predicate

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 maturity date is a subrelation of expiration date
(termFormat ChineseLanguage agreementExpirationDate "截止日期") domainEnglishFormat.kif 22814-22814
(termFormat ChineseTraditionalLanguage agreementExpirationDate "截止日期") domainEnglishFormat.kif 22813-22813
(termFormat EnglishLanguage agreementExpirationDate "expiration date") domainEnglishFormat.kif 22812-22812

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


(=>
    (agreementExpirationDate ?AGREEMENT ?ENDDATE)
    (holdsDuring
        (FutureFn ?ENDDATE)
        (not
            (property ?AGREEMENT ActiveAgreement))))
Mid-level-ontology.kif 13901-13904
(=>
    (and
        (property ?Option AmericanStyleOption)
        (optionHolder ?Option ?Agent)
        (agreementExpirationDate ?Option ?Day))
    (holdsRight
        (exists (?Exercise)
            (and
                (instance ?Exercise ExerciseAnOption)
                (patient ?Exercise ?Option)
                (before
                    (EndFn
                        (WhenFn ?Exercise))
                    (EndFn ?Day)))) ?Agent))
FinancialOntology.kif 2801-2813
(=>
    (and
        (property ?Option EuropeanStyleOption)
        (agreementExpirationDate ?Option ?Date))
    (exists (?Period ?Time ?Exercise)
        (and
            (instance ?Period TimeInterval)
            (finishes ?Period ?Date)
            (=>
                (and
                    (instance ?Exercise ExerciseAnOption)
                    (equal
                        (WhenFn ?Exercise) ?Time))
                (temporalPart ?Time ?Period)))))
FinancialOntology.kif 2821-2833
(=>
    (and
        (property ?Option Option)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsRight
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2683-2699
(=>
    (and
        (property ?Option Option)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (underlier ?Option ?Stocks)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate)))
    (holdsRight
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2637-2653
(=>
    (and
        (property ?Option Option)
        (optionSeller ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsObligation
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2701-2717
(=>
    (and
        (property ?Option Option)
        (optionSeller ?Option ?Seller)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (underlier ?Option ?Stocks)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate)))
    (holdsObligation
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2655-2673

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 3162-3186
(=>
    (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 2554-2565


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