Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  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
(domain industryRankByOutput 2 IndustryAttribute) Economy.kif 1712-1712
(domain industryRankByOutput 3 PositiveInteger) Economy.kif 1713-1713
(instance industryRankByOutput TernaryPredicate) Economy.kif 1710-1710

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


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