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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SorghumFarming

 Sigma KEE - SorghumFarming
SorghumFarming(高粱种植)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 8724-8724
No TPTP formula. May not be expressible in strict first order. Economy.kif 6184-6184 高粱粒 是 高粱种植 的 industry 产品类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 6181-6181 高粱种植 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 6182-6182 高粱种植 是 谷物种植 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 6183-6183 高粱种植 是 其他粮食种植 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53982-53982
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53981-53981
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53980-53980


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