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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2725-2726
(externalImage EuropeanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 45/ Bulle_und_B%C3%A4r_Frankfurt.jpg") pictureList.kif 11002-11002 externalImage EuropeanStyleOption and "http://upload.wikimedia.org/wikipedia/commons/4/45/ Bulle_und_B%C3%A4r_Frankfurt.jpg"
(externalImage EuropeanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4c/ E-ticker.jpg") pictureList.kif 11001-11001 externalImage EuropeanStyleOption and "http://upload.wikimedia.org/wikipedia/commons/4/4c/ E-ticker.jpg"
(externalImage EuropeanStyleOption "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Boerse_01_KMJ.jpg") pictureList.kif 10026-10026 externalImage EuropeanStyleOption and "http://upload.wikimedia.org/wikipedia/commons/7/72/ Boerse_01_KMJ.jpg"
(subAttribute EuropeanStyleOption Option) FinancialOntology.kif 2724-2724 EuropeanStyleOptionOptionsubattribute では %n

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


(termFormat ChineseLanguage EuropeanStyleOption "欧式风格的选择") domainEnglishFormat.kif 22525-22525 termFormat ChineseLanguage, EuropeanStyleOption and "欧式风格的选择"
(termFormat ChineseTraditionalLanguage EuropeanStyleOption "歐式風格的選擇") domainEnglishFormat.kif 22524-22524 termFormat ChineseTraditionalLanguage, EuropeanStyleOption and "歐式風格的選擇"
(termFormat EnglishLanguage EuropeanStyleOption "european style option") domainEnglishFormat.kif 22523-22523 termFormat EnglishLanguage, EuropeanStyleOption and "european style option"

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 2728-2740


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