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
listedOn
の数値 1 引数は
Stock
の
instance
では %n
(
domain
listedOn
2
Organization
)
FinancialOntology.kif 1727-1727
listedOn
の数値 2 引数は
組織
の
instance
では %n
(
instance
listedOn
BinaryPredicate
)
FinancialOntology.kif 1728-1728
listedOn
は
2進述語
の
instance
では %n
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
抽象的な
は
NASDAQCompositeIndex
の
instance
では %n
benchmark
抽象的な
and
PerformanceMeasure
listedOn
PerformanceMeasure
and
NASDAQ
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