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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EuropeanStyleOption

Sigma KEE - EuropeanStyleOption
EuropeanStyleOption

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


(documentation EuropeanStyleOption EnglishLanguage "An option that can be exercised only during a specified period of time just prior to its expiration.") FinancialOntology.kif 2812-2813
(externalImage EuropeanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 45/ Bulle_und_B%C3%A4r_Frankfurt.jpg") pictureList.kif 10991-10991
(externalImage EuropeanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4c/ E-ticker.jpg") pictureList.kif 10990-10990
(externalImage EuropeanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Boerse_01_KMJ.jpg") pictureList.kif 10016-10016
(subAttribute EuropeanStyleOption Option) FinancialOntology.kif 2811-2811 subAttribute EuropeanStyleOption and Option

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


(termFormat ChineseLanguage EuropeanStyleOption "欧式风格的选择") domainEnglishFormat.kif 22587-22587
(termFormat ChineseTraditionalLanguage EuropeanStyleOption "歐式風格的選擇") domainEnglishFormat.kif 22586-22586
(termFormat EnglishLanguage EuropeanStyleOption "european style option") domainEnglishFormat.kif 22585-22585

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


(=>
    (and
        (property ?Option EuropeanStyleOption)
        (agreementExpirationDate ?Option ?Date))
    (exists (?Period ?Time)
        (and
            (instance ?Period TimeInterval)
            (finishes ?Period ?Date)
            (=>
                (and
                    (instance ?Exercise ExerciseAnOption)
                    (equal
                        (WhenFn ?Exercise) ?Time))
                (temporalPart ?Time ?Period)))))
FinancialOntology.kif 2815-2827


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