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

Formal Language: 



KB Term:  Term intersection
English Word: 

  agriculturalProductType

Sigma KEE - agriculturalProductType
agriculturalProductType

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


(documentation agriculturalProductType EnglishLanguage "(agriculturalProductType ?AREA ?TYPE) means that the GeopoliticalArea ?AREA produces a crop or other agricultural product of ?TYPE.") Economy.kif 2234-2237
(domain agriculturalProductType 1 GeopoliticalArea) Economy.kif 2231-2231
(domainSubclass agriculturalProductType 2 Object) Economy.kif 2232-2232
(instance agriculturalProductType BinaryPredicate) Economy.kif 2230-2230

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


(format ChineseLanguage agriculturalProductType "%2 %n 是 %1 的 agricultural 品种") domainEnglishFormat.kif 104-104
(format ChineseTraditionalLanguage agriculturalProductType "%2 %n 是 %1 的 agricultural 品種") domainEnglishFormat.kif 103-103
(format EnglishLanguage agriculturalProductType "%2 is %n an agricultural product type of %1") domainEnglishFormat.kif 102-102
(termFormat ChineseLanguage agriculturalProductType "农产品类型") domainEnglishFormat.kif 5964-5964
(termFormat ChineseTraditionalLanguage agriculturalProductType "農產品類型") domainEnglishFormat.kif 5963-5963
(termFormat EnglishLanguage agriculturalProductType "agricultural product type") domainEnglishFormat.kif 5962-5962


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