Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
listedOn
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
域
上市在
, 1 and
股票
(
domain
listedOn
2
Organization
)
FinancialOntology.kif 1727-1727
域
上市在
, 2 and
Organization
(
instance
listedOn
BinaryPredicate
)
FinancialOntology.kif 1728-1728
例
上市在
and
BinaryPredicate
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
例
Abstract
and
納斯達克綜合指數
性能指標
是
Abstract
的
benchmark
性能指標
是在
人納斯達克
listed
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