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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14375-14376
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Akcja1925NobelBr.jpg") pictureList.kif 2816-2816 externalImage FinancialInstrument and "http://upload.wikimedia.org/wikipedia/commons/1/1f/ Akcja1925NobelBr.jpg"
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4d/ Usdollar100front.jpg") pictureList.kif 2677-2677 externalImage FinancialInstrument and "http://upload.wikimedia.org/wikipedia/commons/4/4d/ Usdollar100front.jpg"
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 58/ Sears_Aktie.jpg") pictureList.kif 2817-2817 externalImage FinancialInstrument and "http://upload.wikimedia.org/wikipedia/commons/5/58/ Sears_Aktie.jpg"
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7c/ GeorgSchleberAG_Aktie.jpg") pictureList.kif 2813-2813 externalImage FinancialInstrument and "http://upload.wikimedia.org/wikipedia/commons/7/7c/ GeorgSchleberAG_Aktie.jpg"
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ f/ fc/ Heinz_Aktie.jpg") pictureList.kif 2814-2814 externalImage FinancialInstrument and "http://upload.wikimedia.org/wikipedia/commons/f/fc/ Heinz_Aktie.jpg"
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ f/ fe/ RWE_1910.jpg") pictureList.kif 2815-2815 externalImage FinancialInstrument and "http://upload.wikimedia.org/wikipedia/commons/f/fe/ RWE_1910.jpg"
(subclass FinancialInstrument Certificate) Merge.kif 14374-14374 subclass FinancialInstrument and Certificate

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


(range CurrencyFn FinancialInstrument) FinancialOntology.kif 284-284 range CurrencyFn and FinancialInstrument
(subclass BankCard FinancialInstrument) FinancialOntology.kif 179-179 subclass BankCard and FinancialInstrument
(subclass Bond FinancialInstrument) FinancialOntology.kif 2188-2188 subclass Bond and FinancialInstrument
(subclass Check FinancialInstrument) FinancialOntology.kif 90-90 subclass Check and FinancialInstrument
(subclass Currency FinancialInstrument) Merge.kif 14378-14378 subclass Currency and FinancialInstrument
(subclass Note FinancialInstrument) FinancialOntology.kif 86-86 subclass Note and FinancialInstrument
(subclass Receipt FinancialInstrument) FinancialOntology.kif 3814-3814 subclass Receipt and FinancialInstrument
(subclass Security FinancialInstrument) FinancialOntology.kif 2010-2010 subclass Security and FinancialInstrument
(subclass Stock FinancialInstrument) FinancialOntology.kif 2082-2082 subclass Stock and FinancialInstrument
(subclass Title FinancialInstrument) FinancialOntology.kif 3769-3769 subclass Title and FinancialInstrument
(termFormat ChineseLanguage FinancialInstrument "金融工具") domainEnglishFormat.kif 23707-23707 termFormat ChineseLanguage, FinancialInstrument and "金融工具"
(termFormat ChineseTraditionalLanguage FinancialInstrument "金融工具") domainEnglishFormat.kif 23706-23706 termFormat ChineseTraditionalLanguage, FinancialInstrument and "金融工具"
(termFormat EnglishLanguage FinancialInstrument "financial instrument") domainEnglishFormat.kif 23705-23705 termFormat EnglishLanguage, FinancialInstrument and "financial instrument"

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


(domain strikePrice 1 FinancialInstrument) FinancialOntology.kif 2530-2530 domain strikePrice, 1 and FinancialInstrument
(domain underlier 2 FinancialInstrument) FinancialOntology.kif 2660-2660 domain underlier, 2 and FinancialInstrument

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


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


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