Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
industryRankByOutput
Sigma KEE - industryRankByOutput
industryRankByOutput
appearance as argument number 1
(
documentation
industryRankByOutput
EnglishLanguage
"(
industryRankByOutput
?AREA ?SECTOR ?NTH) means that in the
GeopoliticalArea
?AREA, the economic area ?SECTOR is ?NTH with respect to the value of its annual output.")
Economy.kif 1715-1718
(
domain
industryRankByOutput
1
GeopoliticalArea
)
Economy.kif 1711-1711
The number 1 argument of
industry rank by output
is an
instance
of
geopolitical area
(
domain
industryRankByOutput
2
IndustryAttribute
)
Economy.kif 1712-1712
The number 2 argument of
industry rank by output
is an
instance
of
industry attribute
(
domain
industryRankByOutput
3
PositiveInteger
)
Economy.kif 1713-1713
The number 3 argument of
industry rank by output
is an
instance
of
positive integer
(
instance
industryRankByOutput
TernaryPredicate
)
Economy.kif 1710-1710
industry rank by output
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
industryRankByOutput
"%1 %n{不} 对于 %3 由出口 %2 industry 分级")
domainEnglishFormat.kif 1325-1325
(
format
ChineseTraditionalLanguage
industryRankByOutput
"%1 %n{不} 對於 %3 由出口 %2 industry 分級")
domainEnglishFormat.kif 1324-1324
(
format
EnglishLanguage
industryRankByOutput
"%1 %n{doesn't} industry rank by output %2 for %3")
domainEnglishFormat.kif 1323-1323
(
termFormat
ChineseLanguage
industryRankByOutput
"按输出排名行业")
domainEnglishFormat.kif 29934-29934
(
termFormat
ChineseTraditionalLanguage
industryRankByOutput
"按輸出排名行業")
domainEnglishFormat.kif 29933-29933
(
termFormat
EnglishLanguage
industryRankByOutput
"industry rank by output")
domainEnglishFormat.kif 29932-29932
antecedent
(=>
(
industryRankByOutput
?AREA ?SECTOR ?NTH)
(
industryOfArea
?AREA ?SECTOR))
Economy.kif 1720-1722
If
a geopolitical area
industry
rank by output
an industry attribute
for
a positive integer
,
then
the industry attribute
is an
industry
of area of
the geopolitical area
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
industryRankByOutput