Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AmericanStyleOption
AmericanStyleOption(american style option)

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


(subclass AmericanStyleOption Option) FinancialOntology.kif 2807-2807 American style option is a subclass of option
(documentation AmericanStyleOption EnglishLanguage "An option that can be exercised at any time prior to its expiration date") FinancialOntology.kif 2808-2809 American style option is a subclass of option
(externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Boerse_01_KMJ.jpg") pictureList.kif 9881-9881 American style option is a subclass of option
(externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4c/ E_ticker.jpg") pictureList.kif 10398-10398 American style option is a subclass of option
(externalImage AmericanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 18/ NASDAQ_studio.jpg") pictureList.kif 10399-10399 American style option is a subclass of option

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


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

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


(=>
    (and
        (instance ?Option AmericanStyleOption)
        (optionHolder ?Option ?Agent)
        (agreementExpirationDate ?Option ?Day))
    (holdsRight ?Agent
        (exists (?Exercise)
            (and
                (instance ?Exercise ExerciseAnOption)
                (patient ?Exercise ?Option)
                (before
                    (EndFn
                        (WhenFn ?Exercise))
                    (EndFn ?Day))))))		 FinancialOntology.kif 2811-2823 If X is an instance of american style option, Y holds X, and X has expiration Z, then Y has the right to perform %3


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners