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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - listedOn
listedOn

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


(documentation listedOn EnglishLanguage "The relation between a Stock and the exchange on which it is traded.") FinancialOntology.kif 1724-1725
(domain listedOn 1 Stock) FinancialOntology.kif 1726-1726 Le nombre 1 argument de listedOn est une instance de Stock
(domain listedOn 2 Organization) FinancialOntology.kif 1727-1727 Le nombre 2 argument de listedOn est une instance de organisation
(instance listedOn BinaryPredicate) FinancialOntology.kif 1728-1728 listedOn est une instance de pr�dicat binaire

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


(format ChineseLanguage listedOn "%1 是在 %2 listed ") domainEnglishFormat.kif 3770-3770
(format ChineseTraditionalLanguage listedOn "%1 是在 %2 listed ") domainEnglishFormat.kif 3769-3769
(format EnglishLanguage listedOn "%1 is listed on %2") domainEnglishFormat.kif 3768-3768
(termFormat ChineseLanguage listedOn "上市在") domainEnglishFormat.kif 34673-34673
(termFormat ChineseTraditionalLanguage listedOn "上市在") domainEnglishFormat.kif 34672-34672
(termFormat EnglishLanguage listedOn "listed on") domainEnglishFormat.kif 34671-34671

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


(=>
    (and
        (instance ?Index NASDAQCompositeIndex)
        (benchmark ?Index ?Stock))
    (listedOn ?Stock NASDAQ))
FinancialOntology.kif 1734-1738


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 3.0 is open source software produced by Articulate Software and its partners