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 The number 1 argument of listed on is an instance of stock
(domain listedOn 2 Organization) FinancialOntology.kif 1727-1727 The number 2 argument of listed on is an instance of organization
(instance listedOn BinaryPredicate) FinancialOntology.kif 1728-1728 listed on is an instance of binary predicate

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