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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialInstrument

Sigma KEE - FinancialInstrument
FinancialInstrument
more pictures...

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


(documentation FinancialInstrument ChineseLanguage "这是具有货币价值或记录货币交易的文件。") chinese_format.kif 3572-3572
(documentation FinancialInstrument EnglishLanguage "A document having monetary value or recording a monetary transaction") Merge.kif 14476-14477
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Akcja1925NobelBr.jpg") pictureList.kif 2816-2816
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4d/ Usdollar100front.jpg") pictureList.kif 2677-2677
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 58/ Sears_Aktie.jpg") pictureList.kif 2817-2817
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7c/ GeorgSchleberAG_Aktie.jpg") pictureList.kif 2813-2813
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ f/ fc/ Heinz_Aktie.jpg") pictureList.kif 2814-2814
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ f/ fe/ RWE_1910.jpg") pictureList.kif 2815-2815
(subclass FinancialInstrument Certificate) Merge.kif 14475-14475

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


(range CurrencyFn FinancialInstrument) FinancialOntology.kif 284-284
(subclass BankCard FinancialInstrument) FinancialOntology.kif 179-179
(subclass Bond FinancialInstrument) FinancialOntology.kif 2189-2189
(subclass Check FinancialInstrument) FinancialOntology.kif 90-90
(subclass Currency FinancialInstrument) Merge.kif 14479-14479
(subclass Note FinancialInstrument) FinancialOntology.kif 86-86
(subclass Receipt FinancialInstrument) FinancialOntology.kif 3815-3815
(subclass Security FinancialInstrument) FinancialOntology.kif 2011-2011
(subclass Stock FinancialInstrument) FinancialOntology.kif 2083-2083
(subclass Title FinancialInstrument) FinancialOntology.kif 3770-3770
(termFormat ChineseLanguage FinancialInstrument "金融工具") domainEnglishFormat.kif 23701-23701
(termFormat ChineseTraditionalLanguage FinancialInstrument "金融工具") domainEnglishFormat.kif 23700-23700
(termFormat EnglishLanguage FinancialInstrument "financial instrument") domainEnglishFormat.kif 23699-23699

appearance as argument number 3
-------------------------


(domain strikePrice 1 FinancialInstrument) FinancialOntology.kif 2531-2531
(domain underlier 2 FinancialInstrument) FinancialOntology.kif 2661-2661

consequent
-------------------------


(=>
    (instance ?TRANS FinancialTransaction)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (instance ?OBJ FinancialInstrument))))
Merge.kif 11028-11033


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners