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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RyeFarming

 Sigma KEE - RyeFarming
RyeFarming(黑麦种植)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 8691-8691
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9614-9614
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9615-9615
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9616-9616
No TPTP formula. May not be expressible in strict first order. Economy.kif 6179-6179 黑麦谷物 是 黑麦种植 的 industry 产品类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 6176-6176 黑麦种植 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 6177-6177 黑麦种植 是 谷物种植 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 6178-6178 黑麦种植 是 其他粮食种植 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50709-50709
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50708-50708
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50707-50707


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