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 2705-2706
(externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 18/ NASDAQ_studio.jpg") pictureList.kif 10422-10422 externalImage AmericanStyleOption and "http://upload.wikimedia.org/wikipedia/commons/1/18/ NASDAQ_studio.jpg"
(externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4c/ E-ticker.jpg") pictureList.kif 10421-10421 externalImage AmericanStyleOption and "http://upload.wikimedia.org/wikipedia/commons/4/4c/ E-ticker.jpg"
(externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Boerse_01_KMJ.jpg") pictureList.kif 9900-9900 externalImage AmericanStyleOption and "http://upload.wikimedia.org/wikipedia/commons/7/72/ Boerse_01_KMJ.jpg"
(subAttribute AmericanStyleOption Option) FinancialOntology.kif 2704-2704 subAttribute AmericanStyleOption and Option

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


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

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 2708-2720


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