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 15797-15798
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Akcja1925NobelBr.jpg") pictureList.kif 2814-2814
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4d/ Usdollar100front.jpg") pictureList.kif 2675-2675
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 58/ Sears_Aktie.jpg") pictureList.kif 2815-2815
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7c/ GeorgSchleberAG_Aktie.jpg") pictureList.kif 2811-2811
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ f/ fc/ Heinz_Aktie.jpg") pictureList.kif 2812-2812
(externalImage FinancialInstrument "http://upload.wikimedia.org/wikipedia/ commons/ f/ fe/ RWE_1910.jpg") pictureList.kif 2813-2813
(subclass FinancialInstrument Certificate) Merge.kif 15796-15796

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


(range CurrencyFn FinancialInstrument) FinancialOntology.kif 286-286
(subclass BankCard FinancialInstrument) FinancialOntology.kif 181-181
(subclass Bond FinancialInstrument) FinancialOntology.kif 2276-2276
(subclass Check FinancialInstrument) FinancialOntology.kif 92-92
(subclass Currency FinancialInstrument) Merge.kif 15800-15800
(subclass Note FinancialInstrument) FinancialOntology.kif 88-88
(subclass Receipt FinancialInstrument) FinancialOntology.kif 3990-3990
(subclass Security FinancialInstrument) FinancialOntology.kif 2097-2097
(subclass Stock FinancialInstrument) FinancialOntology.kif 2169-2169
(subclass Title FinancialInstrument) FinancialOntology.kif 3946-3946
(termFormat ChineseLanguage FinancialInstrument "金融工具") domainEnglishFormat.kif 23779-23779
(termFormat ChineseTraditionalLanguage FinancialInstrument "金融工具") domainEnglishFormat.kif 23778-23778
(termFormat EnglishLanguage FinancialInstrument "financial instrument") domainEnglishFormat.kif 23777-23777

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


(domain strikePrice 1 FinancialInstrument) FinancialOntology.kif 2626-2626
(domain underlier 2 FinancialInstrument) FinancialOntology.kif 2757-2757

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


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


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