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
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
Abstrait
est une
instance
de
NASDAQCompositeIndex
benchmark
abstrait
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