Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  NASDAQ
|
|
|
| appearance as argument number 1 |
|
|
| (instance NASDAQ Organization) | FinancialOntology.kif 1786-1786 | NASDAQ is an instance of organization |
| (documentation NASDAQ EnglishLanguage "National Association of Securities Dealers Automated Quotations system.") | FinancialOntology.kif 1787-1788 | NASDAQ is an instance of organization |
| (externalImage NASDAQ "http://upload.wikimedia.org/wikipedia/commons/8/81/ NASDAQ.JPG") | pictureList.kif 6717-6717 | NASDAQ is an instance of organization |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?Index NASDAQCompositeIndex) (benchmark ?Index ?Stock)) (listedOn ?Stock NASDAQ)) |
FinancialOntology.kif 1780-1784 | If X is an instance of NASDAQ composite index and Y is a benchmark of X, then Y is listed on NASDAQ |
|
