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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuropeanStyleOption
EuropeanStyleOption(european style option)

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


s__documentation(s__EuropeanStyleOption,s__EnglishLanguage,'"An option that can be exercised only during a specified period of time just prior to its expiration."')

FinancialOntology.kif 2745-2746
s__externalImage(s__EuropeanStyleOption,'"http://upload.wikimedia.org/wikipedia/ commons/ 4/ 45/ Bulle_und_B%C3%A4r_Frankfurt.jpg"')

pictureList.kif 11001-11001
s__externalImage(s__EuropeanStyleOption,'"http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4c/ E-ticker.jpg"')

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

pictureList.kif 10025-10025
s__subAttribute(s__EuropeanStyleOption,s__Option)

FinancialOntology.kif 2744-2744 European style option is a subattribute of option

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


s__termFormat(s__ChineseLanguage,s__EuropeanStyleOption,'"欧式风格的选择"')

domainEnglishFormat.kif 22587-22587
s__termFormat(s__ChineseTraditionalLanguage,s__EuropeanStyleOption,'"歐式風格的選擇"')

domainEnglishFormat.kif 22586-22586
s__termFormat(s__EnglishLanguage,s__EuropeanStyleOption,'"european style option"')

domainEnglishFormat.kif 22585-22585

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


( ! [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


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