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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilletFarming

 Sigma KEE - MilletFarming
MilletFarming(小米种植)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 9428-9428
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8597-8597
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9426-9426
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9427-9427
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9429-9429
No TPTP formula. May not be expressible in strict first order. Economy.kif 6189-6189 小米粒 是 小米种植 的 industry 产品类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 6186-6186 小米种植 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 6187-6187 小米种植 是 谷物种植 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 6188-6188 小米种植 是 其他粮食种植 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37787-37787
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37786-37786
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37785-37785


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