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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 按等级划分的农产品类型 的 1 数量 是 地缘政治区域instance
(domain agriculturalProductTypeByRank 3 PositiveInteger) Economy.kif 2243-2243 按等级划分的农产品类型 的 3 数量 是 正整数instance
(domainSubclass agriculturalProductTypeByRank 2 Object) Economy.kif 2242-2242 按等级划分的农产品类型 的 2 数量 是 客体subclass
(instance agriculturalProductTypeByRank TernaryPredicate) Economy.kif 2240-2240 按等级划分的农产品类型三元谓语instance

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