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 1606-1609
(
domain
industryRankByOutput
1
GeopoliticalArea
)
Economy.kif 1602-1602
The number 1 argument of
industry rank by output
is an
instance
of
geopolitical area
(
domain
industryRankByOutput
2
IndustryAttribute
)
Economy.kif 1603-1603
The number 2 argument of
industry rank by output
is an
instance
of
industry attribute
(
domain
industryRankByOutput
3
PositiveInteger
)
Economy.kif 1604-1604
The number 3 argument of
industry rank by output
is an
instance
of
positive integer
(
instance
industryRankByOutput
TernaryPredicate
)
Economy.kif 1601-1601
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 29929-29929
(
termFormat
ChineseTraditionalLanguage
industryRankByOutput
"按輸出排名行業")
domainEnglishFormat.kif 29928-29928
(
termFormat
EnglishLanguage
industryRankByOutput
"industry rank by output")
domainEnglishFormat.kif 29927-29927
antecedent
(=>
(
industryRankByOutput
?AREA ?SECTOR ?NTH)
(
industryOfArea
?AREA ?SECTOR))
Economy.kif 1611-1613
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