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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2238-2241
(domain agriculturalProductType 1 GeopoliticalArea) Economy.kif 2235-2235 The number 1 argument of agricultural product type is an instance of geopolitical area
(domainSubclass agriculturalProductType 2 Object) Economy.kif 2236-2236 The number 2 argument of agricultural product type is a subclass of object
(instance agriculturalProductType BinaryPredicate) Economy.kif 2234-2234 agricultural product type is an instance of binary predicate

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 5971-5971
(termFormat ChineseTraditionalLanguage agriculturalProductType "農產品類型") domainEnglishFormat.kif 5970-5970
(termFormat EnglishLanguage agriculturalProductType "agricultural product type") domainEnglishFormat.kif 5969-5969


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners