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 2360-2364
(domain agriculturalProductTypeByRank 1 GeopoliticalArea) Economy.kif 2356-2356 The number 1 argument of agricultural product type by rank is an instance of geopolitical area
(domain agriculturalProductTypeByRank 3 PositiveInteger) Economy.kif 2358-2358 The number 3 argument of agricultural product type by rank is an instance of positive integer
(domainSubclass agriculturalProductTypeByRank 2 Object) Economy.kif 2357-2357 The number 2 argument of agricultural product type by rank is a subclass of object
(instance agriculturalProductTypeByRank TernaryPredicate) Economy.kif 2355-2355 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 5979-5979
(termFormat ChineseTraditionalLanguage agriculturalProductTypeByRank "按等級劃分的農產品類型") domainEnglishFormat.kif 5978-5978
(termFormat EnglishLanguage agriculturalProductTypeByRank "agricultural product type by rank") domainEnglishFormat.kif 5977-5977


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