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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuropeanStyleOption
EuropeanStyleOption(european style option)
european_style_option, 欧式风格的选择, 歐式風格的選擇

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2725-2726
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11002-11002 "http://upload.wikimedia.org/wikipedia/commons/4/45/ Bulle_und_B%C3%A4r_Frankfurt.jpg" is a URL depicting european style option
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11001-11001 "http://upload.wikimedia.org/wikipedia/commons/4/4c/ E-ticker.jpg" is a URL depicting european style option
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10026-10026 "http://upload.wikimedia.org/wikipedia/commons/7/72/ Boerse_01_KMJ.jpg" is a URL depicting european style option
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2724-2724 European style option is a subattribute of option

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22525-22525 "欧式风格的选择" is the printable form of european style option in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22524-22524 "歐式風格的選擇" is the printable form of european style option in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22523-22523 "european style option" is the printable form of european style option in english language

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


No TPTP formula. May not be expressible in strict first order. 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