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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExerciseAnOption
ExerciseAnOption(exercise an option)

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


s__documentation(s__ExerciseAnOption,s__EnglishLanguage,'"An activity when the owner of the the Option contract invokes his rights. In the case of a call, the option owner buys the underlying stock. In the case of a put, the option owner sells the underlying stock."')

FinancialOntology.kif 2711-2713
s__externalImage(s__ExerciseAnOption,'"http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ E-ticker.jpg"')

pictureList.kif 11012-11012
s__externalImage(s__ExerciseAnOption,'"http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Boerse_01_KMJ.jpg"')

pictureList.kif 10029-10029
s__instance(s__FinancialTransaction,s__Class)

s__instance(s__ExerciseAnOption,s__Class)

s__subclass(s__ExerciseAnOption,s__FinancialTransaction)

FinancialOntology.kif 2710-2710 Exercise an option is a subclass of financial transaction

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


s__termFormat(s__ChineseLanguage,s__ExerciseAnOption,'"执行一个选项"')

domainEnglishFormat.kif 22743-22743
s__termFormat(s__ChineseTraditionalLanguage,s__ExerciseAnOption,'"執行一個選項"')

domainEnglishFormat.kif 22742-22742
s__termFormat(s__EnglishLanguage,s__ExerciseAnOption,'"exercise an option"')

domainEnglishFormat.kif 22741-22741

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


( ! [V__Time,V__Exercise,V__Option,V__Stocks] :
   (((s__instance(V__Time,s__TimePosition) &
         s__instance(V__Option,s__Agreement) &
         s__instance(V__Stocks,s__FinancialInstrument))
       =>
       (((s__instance(V__Exercise,s__ExerciseAnOption) &
             s__patient(V__Exercise,V__Option)
           &
           s__property(V__Option,s__CallOption) &
           s__time(V__Exercise,V__Time)
         &
         s__underlier(V__Option,V__Stocks))
     =>
     (( ? [V__Buy] :
         ((s__instance(V__Buy,s__Buying) &
             s__patient(V__Buy,V__Stocks)
           &
           s__time(V__Buy,V__Time)
         &
         s__measure(V__Stocks,s__MeasureFn(n__100,s__ShareUnit)))))))))
)
)

FinancialOntology.kif 2715-2727
( ! [V__Time,V__Exercise,V__Option,V__Stocks] :
   (((s__instance(V__Time,s__TimePosition) &
         s__instance(V__Option,s__Agreement) &
         s__instance(V__Stocks,s__FinancialInstrument))
       =>
       (((s__instance(V__Exercise,s__ExerciseAnOption) &
             s__patient(V__Exercise,V__Option)
           &
           s__property(V__Option,s__PutOption) &
           s__time(V__Exercise,V__Time)
         &
         s__underlier(V__Option,V__Stocks))
     =>
     (( ? [V__Sell] :
         ((s__instance(V__Sell,s__Selling) &
             s__patient(V__Sell,V__Stocks)
           &
           s__time(V__Sell,V__Time)
         &
         s__measure(V__Stocks,s__MeasureFn(n__100,s__ShareUnit)))))))))
)
)

FinancialOntology.kif 2729-2741

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2749-2761
( ! [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 2769-2781


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