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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - agriculturalProductTypeByRank
agriculturalProductTypeByRank

appearance as argument number 1
-------------------------


(documentation agriculturalProductTypeByRank EnglishLanguage "(agriculturalProductTypeByRank ?AREA ?TYPE ?NTH) means that the GeopoliticalArea ?AREA produces a crop or other agricultural product of ?TYPE, which is its ?NTH most important crop.") Economy.kif 2245-2249
(domain agriculturalProductTypeByRank 1 GeopoliticalArea) Economy.kif 2241-2241 The number 1 argument of agricultural product type by rank is an instance of geopolitical area
(domain agriculturalProductTypeByRank 3 PositiveInteger) Economy.kif 2243-2243 The number 3 argument of agricultural product type by rank is an instance of positive integer
(domainSubclass agriculturalProductTypeByRank 2 Object) Economy.kif 2242-2242 The number 2 argument of agricultural product type by rank is a subclass of object
(instance agriculturalProductTypeByRank TernaryPredicate) Economy.kif 2240-2240 agricultural product type by rank is an instance of ternary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage agriculturalProductTypeByRank "%1 %n{不是} 對於 %3 的 agricultural 產品基於排名 %2 ") domainEnglishFormat.kif 108-108
(format ChineseTraditionalLanguage agriculturalProductTypeByRank "%1 %n{不是} 對於 %3 的 agricultural 產品基於排名 %2 ") domainEnglishFormat.kif 107-107
(format EnglishLanguage agriculturalProductTypeByRank "%1 %n{doesn't} agricultural product type by rank %2 for %3") domainEnglishFormat.kif 106-106
(termFormat ChineseLanguage agriculturalProductTypeByRank "按等级划分的农产品类型") domainEnglishFormat.kif 5970-5970
(termFormat ChineseTraditionalLanguage agriculturalProductTypeByRank "按等級劃分的農產品類型") domainEnglishFormat.kif 5969-5969
(termFormat EnglishLanguage agriculturalProductTypeByRank "agricultural product type by rank") domainEnglishFormat.kif 5968-5968


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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