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
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 1590-1593
(
domain
industryRankByOutput
1
GeopoliticalArea
)
Economy.kif 1586-1586
The number 1 argument of
industry rank by output
is an
instance
of
geopolitical area
(
domain
industryRankByOutput
2
IndustryAttribute
)
Economy.kif 1587-1587
The number 2 argument of
industry rank by output
is an
instance
of
industry attribute
(
domain
industryRankByOutput
3
PositiveInteger
)
Economy.kif 1588-1588
The number 3 argument of
industry rank by output
is an
instance
of
positive integer
(
instance
industryRankByOutput
TernaryPredicate
)
Economy.kif 1585-1585
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 29923-29923
(
termFormat
ChineseTraditionalLanguage
industryRankByOutput
"按輸出排名行業")
domainEnglishFormat.kif 29922-29922
(
termFormat
EnglishLanguage
industryRankByOutput
"industry rank by output")
domainEnglishFormat.kif 29921-29921
antecedent
(=>
(
industryRankByOutput
?AREA ?SECTOR ?NTH)
(
industryOfArea
?AREA ?SECTOR))
Economy.kif 1595-1597
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