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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 2245-2248
(domain agriculturalProductType 1 GeopoliticalArea) Economy.kif 2242-2242 The number 1 argument of agricultural product type is an instance of geopolitical area
(domainSubclass agriculturalProductType 2 Object) Economy.kif 2243-2243 The number 2 argument of agricultural product type is a subclass of object
(instance agriculturalProductType BinaryPredicate) Economy.kif 2241-2241 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 5973-5973
(termFormat ChineseTraditionalLanguage agriculturalProductType "農產品類型") domainEnglishFormat.kif 5972-5972
(termFormat EnglishLanguage agriculturalProductType "agricultural product type") domainEnglishFormat.kif 5971-5971

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