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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AmericanStyleOption

Sigma KEE - AmericanStyleOption
AmericanStyleOption(american style option)

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


(documentation AmericanStyleOption EnglishLanguage "An option that can be exercised at any time prior to its expiration date") FinancialOntology.kif 2797-2798
(externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 18/ NASDAQ_studio.jpg") pictureList.kif 10411-10411
(externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4c/ E-ticker.jpg") pictureList.kif 10410-10410
(externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Boerse_01_KMJ.jpg") pictureList.kif 9890-9890
(subAttribute AmericanStyleOption Option) FinancialOntology.kif 2796-2796 American style option is a subattribute of option

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


(termFormat ChineseLanguage AmericanStyleOption "美式风格选项") domainEnglishFormat.kif 7214-7214
(termFormat ChineseTraditionalLanguage AmericanStyleOption "美式風格選項") domainEnglishFormat.kif 7213-7213
(termFormat EnglishLanguage AmericanStyleOption "american style option") domainEnglishFormat.kif 7212-7212

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


(=>
    (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 2800-2812


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

Show without tree


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