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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AmericanStyleOption
AmericanStyleOption

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


(documentation AmericanStyleOption EnglishLanguage "An option that can be exercised at any time prior to its expiration date") FinancialOntology.kif 2706-2707
(externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 18/ NASDAQ_studio.jpg") pictureList.kif 10422-10422
(externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4c/ E-ticker.jpg") pictureList.kif 10421-10421
(externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Boerse_01_KMJ.jpg") pictureList.kif 9900-9900
(subAttribute AmericanStyleOption Option) FinancialOntology.kif 2705-2705 subAttribute AmericanStyleOption and Option

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


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

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners