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
Il numero 1 argomenti di
listedOn
è un
istanza
di
Stock
(
domain
listedOn
2
Organization
)
FinancialOntology.kif 1727-1727
Il numero 2 argomenti di
listedOn
è un
istanza
di
Organizzazione
(
instance
listedOn
BinaryPredicate
)
FinancialOntology.kif 1728-1728
listedOn
è un'
istanza
di
PredicatoBinario
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
Astratto
è un'
istanza
di
NASDAQCompositeIndex
benchmark
Astratto
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