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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2746-2747
(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 2745-2745 American style option is a subattribute of option

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


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

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


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